U. Hustadt, B. Konev, A. Riazanov, and A. Voronkov (2004): TeMP: A Temporal Monodic Prover

U. Hustadt, B. Konev, A. Riazanov, and A. Voronkov (2004): ``TeMP: A Temporal Monodic Prover.'' In D. A. Basin and M. Rusinowitch, editors, Proceedings of the Second International Joint Conference on Automated Reasoning IJCAR 2004 (Cork, Ireland, July 4-8 2004), pp. 326-330. LNAI 3097, Springer.
Abstract, BibTeX.
In this paper we describe TeMP, the first automatic theorem prover for the monodic fragment of FOTL. [an error occurred while processing this directive]