@INPROCEEDINGS{Hustadt+Konev+Riazanov+Voronkov@IJCAR2004,
 AUTHOR        = {Hustadt, Ullrich and Konev, Boris and Riazanov, Alexandre and Voronkov, Andrei},
 TITLE         = {TeMP: A Temporal Monodic Prover},
 PAGES         = {326-330},
 EDITOR        = {Basin, David A. and Rusinowitch, Micha{\"e}l},
 BOOKTITLE     = {Proceedings of the Second International Joint Conference on Automated Reasoning (IJCAR 2004) [Cork, Ireland, 4-8 July 2004]}, 
 CADDRESS      = {Cork, Ireland},
 CMONTH        = jul # {4--8}, 
 CYEAR         = {2004},
 PUBLISHER     = {Springer},
 SERIES        = {LNAI},
 VOLUME        = {3097},
 YEAR          = {2004},
 ISBN          = {3-540-22345-2},
 URL           = {Hustadt+Konev+Riazanov+Voronkov@IJCAR2004.pdf},
 ABSTRACT      = {In this paper we describe TeMP, the first automatic
 theorem prover for the monodic fragment of FOTL.}
}