1. S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases (Addison-Wesley, Reading, MA, 1995).
2. S. Abiteboul, M. Y. Vardi, and V. Vianu, “Fixpoint Logics, Relational Machines, and Computational Complexity,” in Structure in Complexity Theory: Proc. 7th Annu. Conf., Boston, 1992 (IEEE Comput. Soc. Press, Los Alamitos, CA, 1992), pp. 156–168.
3. S. Abiteboul and V. Vianu, “Fixpoint Extensions of First-Order Logic and Datalog-like Languages,” in Logic in Computer Science: Proc. 4th Annu. Symp., Pacific Grove, CA, USA, 1989 (IEEE Comput. Soc. Press, Washington, DC, 1989), pp. 71–79.
4. F. Afrati, S. S. Cosmadakis, and M. Yannakakis, “On Datalog vs. Polynomial Time,” in Principles of Database Systems: Proc. 10th ACM SIGACT-SIGMOD-SOGART Symp., Denver, 1991 (Assoc. Comput. Mach., New York, 1991), pp. 13–25.
5. M. Ajtai and Y. Gurevich, “DATALOG vs. First-Order Logic,” in Foundations of Computer Science: Proc. 30th Annu. Symp. (IEEE Comput. Soc. Press, Los Alamitos, CA, 1989), pp. 142–146.