1. Martin Abadi. Temporal-Logic Theorem Proving. PhD thesis, Department of Computer Science, Stanford University, March 1987.
2. M. Abadi and Z. Manna. Non-clausal Temporal Deduction. Lecture Notes in Computer Science, 193:1–15, June 1985.
3. Martin Abadi and Zohar Manna. A Timely Resolution. Technical Report STAN-CS-86-1106, Stanford University, June 1986.
4. D. Gabbay. Executable Temporal Logic for Interactive Systems. In Colloquium on Temporal Logic: Circulated Papers, Department of Computer Science, Manchester, April 1987.
5. D. Gabbay. Modal and Temporal Logic Programming. In A. Galton, editor, Temporal Logics and their Applications, Academic Press, London, December 1987.