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

Hendrik Decker

Browse the full ICLP paper archive.