1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
2. Bry, F., Manthey, R.: Checking Consistency of Database Constraints: a Logical Basis. In: Proceedings of VLDB 1986, pp. 13–20 (1986)
3. Calvanese, D., De Giacomo, G., Lenzerini, M.: On the Decidability of Query Containment under Constraints. In: Proceedings of the PODS 1998, pp. 149–158 (1998)
4. Cavedon, L., Lloyd, J.W.: A Completeness Theorem for SLDNF Resolution. Journal of Logic Programming 7(3), 177–191 (1989)
5. Clark, K.L.: Negation as Failure. In: Logic and Data Bases, pp. 293–322. Plenum Press, New York (1977)