Hendrik Decker
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases
ICLP, 1996.
@inproceedings{JICSLP-1996-Decker, author = "Hendrik Decker", booktitle = "{Proceedings of the Joint International 13th Conference and Symposium on Logic Programming}", isbn = "0-262-63173-3", pages = "157--169", publisher = "{MIT Press}", title = "{An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases}", year = 1996, }