1. Bry, F., Manthey, R.: Checking Consistency of Database Constraints: a Logical Basis. In: VLDB, pp. 13–20 (1986)
2. Console, L., Sapino, M.L., Theseider, D.: The Role of Abduction in Database View Updating. Journal of Intelligent Information Systems 4(3), 261–280 (1995)
3. Decker, H.: An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. In: JICSLP, pp. 157–169 (1996)
4. Farré, C., Teniente, E., Urpí, T.: Query Containment With Negated IDB Predicates, To appear in ADBIS (2003)
5. Kakas, A., Michael, A.: Integrating Abductive and Constraint Logic Programming, In: Proc. of the 12th ICLP. Kanagawa, Japan, pp. 399–413 (1995)