1. N. Arni, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A second-generation deductive database system. Submitted for publication., 1994.
2. A.J. Bonner and M. Kifer. Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-270, University of Toronto, April 1992. Revised: February 1994. Available incsritechnical-reports/270/report.ps by anonymous ftp tocsri.toronto.edu.
3. A.J. Bonner and M. Kifer. An overview of transaction logic.Theoretical Computer Science, 133:205?265, October 1994.
4. F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. Integrating object-oriented data modeling with a rule-based programming paradigm. InACM SIGMOD Conference on Management of Data, May 1990.
5. J. Frohn, G. Lausen, and H. Uphoff. Access to objects by path expressions and rules. InIntl. Conference on Very Large Data Bases (VLDB), pages 273?284, Santiago, Chile, 1994.