1. Temporal-logic theorem proving;Abadi,1987
2. The power of temporal proofs;Abadi;Proc. Second Ann. Symp. on Logic in Computer Science,1987
3. A timely resolution;Abadi;Proc. First Ann. Symp. on Logic in Computer Science,1986
4. Peano Arithmetic for the time scale of nonstandard logics of programs;Biró,1983
5. Axioms for tense logic;Burgess;Notre Dame J. Formal Logic,1982