An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases.

Hendrik Decker An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. 157-169 1996 JICSLP db/conf/iclp/iclp96.html#Decker96