1. K. R. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Proc. Workshop on Found of Deductive Databases and Logic Programming, pages 89–148. Morgan Kaufman, 1988.
2. N. Arvi, K. Ong, S. Tsur, and C. Zaniolo. LDL++: A Second Generation Deductive Databases Systems. Technical report, MCC Corporation, 1993.
3. F. Bonchi. Verification of Datalog++ programs (in Italian). Master's thesis, Department of Computer Science University of Pisa, 1998.
4. A. Brogi, V. S. Subrahmanian, and C. Zaniolo. The Logic of Totally and Partially Ordered Plans: a Deductive Database Approach. Annals of Mathematics in Artificial Intelligence, 19:59–96, 1997.
5. J. Chomicki. Temporal deductive databases. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass, editors, Temporal Databases: Theory, Design and Implementation, pages 294–320. Benjamin Cummings, 1993.