1. F. Bancilhon. A logic-programming/Object-oriented cocktail. SIGMOD Record; 15(3):11–21, September 1986.
2. C. Beeri. New data models and languages—The challenge. In A CM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 1–15, San Diego, CA, June 1992.
3. A.J. Bonner and M. Kifer. A general logic of state change. Technical report, CSRJ, University of Toronto, 1992. In preparation.
4. A.J. Bonner and M. Kifer. Transaction logic programming. Technical Report CSRJ-270, University of Toronto, April 1992. Revised: December 1992. (This report can be FTP’ed (in binary mode) from the anonymous FTP account at cs.sunysb.edu; file: pub/TechReports/kifer/transaction-logic.dvi.Z)
5. W. Chen. Declarative specification and evaluation of database updates. In Intl. Conference on Deductive and Object-Oriented Databases, volume 566 of Lecture Notes in Computer Science, pages 147–166. Springer Verlag, December 1991.