Selected papers that cite this one
- Christoph Brzoska. Programming in metric temporal logic. Theoretical Computer Science, 202(1-2):55-125, 28 July 1998. Fundamental Study.
- Michael Fisher. A normal form for temporal logics and its applications in theorem-proving and execution. Journal of Logic and Computation, 7(4):429-456, August 1997.
- Michael Kaminski and Chung Kei Wong. The power of the ``always'' operator in first-order temporal logic. Theoretical Computer Science, 160(1-2):271-281, 10 June 1996.