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, PDF.

In this paper we describe TeMP, the first automatic theorem prover for the monodic fragment of FOTL. [an error occurred while processing this directive]