1. K. Apt, H. Blair, A. Walker. Towards a Theory of Declarative Knowledge. In Foundations of Deductive Databases and Logic Programming. J. Minker Editor. Morgan Kauffman Publishers. 1987.
2. S. Abiteboul, R. Hull, V. Vianu. Foundations of Databases. Addison-Wesley 1995
3. A. Aiken, J. Hellerstein, J. Widom. Static Analysis Techniques for Predicting the Behavior of Active Database Rules. In ACM TODS 1995, 20(1): 3–41, 1995.
4. M. Baudinet, J. Chomicki, P. Wolper. Temporal Deductive Databases. In Temporal Databases: Theory, Design and Implementation. Benjamin/Cummings 1993.
5. N. Bidoit, C. Froidevaux. General Logic Databases and Programs: Default Logic Semantics and Stratification. In Information and Computation. 91: 15–54, 1991.