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.