1. S. Abiteboul and S. Grumback. A rule-based language with functions and sets. ACM Transactions on Database Systems, 16(1):1–30, 1991.
2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley Publishing Comp, 1995.
3. J. Alferes and L. Pereira. On logic program semantics with two kinds of negation. In K. Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 574–588, Washington, D.C. USA, Nov 1992. The MIT Press.
4. P. Ammann, S. Jajodia, and I. Ray. Using formal methods to reason about semantics-based decompositions of transactions. In Proc. of 21st VLDB Conference, pages 218–227, 1995.
5. H. Andreka and I. Nemeti. The generalized completeness of horn predicate logic as a programming language. Acta Cybernetica, 4(1):3–10, 1978.