1. S. Abiteboul, R. Hall, and V. Vianu. Foundations of Databases. Addison-Wesley, Reading, Massachusetts, 1995.
2. G.S. Boolos and R.C. Jeffrey. Computability and Logic. Open University Set Book. Cambridge University Press, 3rd edition, 1989.
3. M. Buchheit, M.A. Jeusfeld, W. Nutt, and M. Staudt. Subsumption Between Queries to Object-Oriented Databases. Information Systems, 19(1):33–54, January 1994.
4. A. Bonner and M. Kifer. Logic Programming for Database Transactions. In Chomicki and Saake [CS98], chapter 5, pp. 117–166.
5. C. Baral, S. Kraus, and J. Minker. Combining Multiple Knowledge Bases. IEEE TKDE, 3(2):208–220, July 1991.