1. K.R. Apt, H.A. Blair, and A. Walker. Towards a Theory of Declarative Knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89–148. Morgan Kaufmann, 1988.
2. P. Atzeni and V. De Antonellis. Relational Database Theory. Benjamin/Cummings, 1993.
3. J.F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26(11):832–843, November 1983.
4. M. Abadi and Z. Manna. Temporal Logic Programming. Journal of Symbolic Computation, 8(3), September 1989.
5. S. Abiteboul and V. Vianu. Expressive Power of Query Languages. In Theoretical Studies in Computer Science. Academic Press, 1992.