Ofer Arieli Marc Denecker Bert Van Nuffelen Maurice Bruynooghe Coherent Integration of Databases by Abductive Logic Programming. 245-286 2004 21 J. Artif. Intell. Res. (JAIR) http://www.cs.washington.edu/research/jair/abstracts/arieli04a.html db/journals/jair/jair21.html#ArieliDNB04