Martín Abadi and Zohar Manna. Temporal logic programming. Journal of Symbolic Computation, 8:277-295, 1989.
Marianne Baudinet. Logic Programming Semantics: Techniques and Applications. PhD thesis, Computer Science Department, Stanford University, Stanford, CA, February 1989.
Marianne Baudinet. Temporal logic programming is complete and expressive. In Sixteenth ACM Symposium on Principles of Programming Languages, pages 267-280, Austin, Texas, January 1989.
Marianne Baudinet. On the expressiveness of temporal logic programming. Submitted to a Technical Journal, July 1990.
Ashok K. Chandra and David Harel. Structure and complexity of relational queries. Journal of Computer and System Sciences, 25:98-128, 1982.
Ashok K. Chandra and David Harel. Horn clause queries and generalizations. Journal of Logic Programming, 2(1):1—15, 1985.
Jan Chomicki. Polynomial time query processing in temporal deductive databases. In Ninth ACM Symposium on Principles of Database Systems, pages 379-391, Nashville, Tennessee, April 1990.
Jan Chomicki and Tomasz Imieliñski. Temporal deductive databases and infinite objects. In Seventh ACM Symposium on Principles of Database Systems, pages 61-73, Austin, Texas, March 1988.
Jan Chomicki and Tomasz Imieliñski. Relational specifications of infinite query answers. In ACM-SIGMOD International Conference on Management of Data, pages 174-183, Portland, Oregon, May 1989.
Jan Chomicki and Tomasz Imieliñski. Finite representation of infinite query answers. Technical Report TR-CS-90-10, Kansas State University, Manhattan, KS, August 1990.
I Dov Gabbay, Amir Pnueli, Saharon She-lah, and Jonathan Stavi. On the temporal analysis of fairness. In Seventh ACM Symposium on Principles of Programming Languages, pages 163-173, Las Vegas, NV, January 1980.
Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Fourteenth ACM Symposium on Principles of Programming Languages, Munich, West Germany, January 1987.
Paris C. Kanellakis, Gabriel M. Kuper, and Peter Revesz. Constraint query languages. In Ninth ACM Symposium on Principles of Database Systems, pages 299-313, Nashville, Tennessee, April 1990.
F. Kabanza, J-M. Stevenne, and P. Wolper. Handling infinite temporal data. In Ntnth ACM Symposium on Principles of Database Systems, pages 392-403, Nashville, Tennessee, April 1990.
Peter Revesz. A closed form for Datalog queries with integer order. In Proceedings of the Third International Conference on Database Theory, pages 187-201, Paris, December 1990. LNCS 470, Springer-Verlag.
Wolfgang Thomas. A combinatorial approach to the theory of w-automata. Information and Control, 48(3):261—283, March 1981.
Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems - Volume I. Computer Science Press, 1988.
Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems - Volume II: The New Technologies. Computer Science Press, 1989.
Moshe Y. Vardi. A temporal fixpoint calculus. In Fifteenth ACM Symposium on Principles of Programming Languages, pages 250¬ 259, San Diego, CA, January 1988.
M . H . van Emden and R A . Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733-742, October 1976.
Pierre Wolper, Moshe Y. Vardi, and A. Prasad Sistla. Reasoning about infinite computation paths. In 24th Symposium on Foundations of Computer Science, pages 185-194, Tucson, Arizona, November 1983.
