U. Hustadt, B. Konev, A. Riazanov, and A. Voronkov
``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.
In this paper we describe TeMP, the first automatic theorem prover
for the monodic fragment of FOTL.
[an error occurred while processing this directive]