1. Ceri, S.; Fraternali, P.; Paraboschi, S.; Tanca, L. “Automatic Generation of Production Rules for Integrity Maintenance” ACM Transactions on Database Systems Vol.19 No3, Sept. 1994, pp.367–422.
2. Chen, I.A.; Hull, R.; McLeod, D. “An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update”, ACM Transactions on Database Systems, Vol. 20, No 4, December 1995, pp. 365–413.
3. Console, L.; Sapino, M.L.; Theseider. D. “The Role of Abduction in Database View Updating”, Journal of Intelligent Information Systems, V.4, pp.261–280.
4. Decker, H. “An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases”, Joint International Conference and Symposium on Logic Programming, September, 1996, Bonn, pp.157–169.
5. Decker, H. “One Abductive Logic Programming Procedure for two kind of Updates”, Proc. Workshop DINAMICS’97 at Int. Logic Programming Symposium, September, 1997, Port Jefferson (New York).