Angela Bonifati Giansalvatore Mecca Alessandro Pappalardo Salvatore Raunich Gianvito Summa Schema mapping verification: the spicy way. 85-96 2008 EDBT http://doi.acm.org/10.1145/1353343.1353358 conf/edbt/2008 db/conf/edbt/edbt2008.html#BonifatiMPRS08