@INPROCEEDINGS{HKRV2004,
 AUTHOR        = {Hustadt, Ullrich and Konev, Boris and 
 Riazanov, Alexandre and Voronkov, Andrei},
 TITLE         = {{\textbf{TeMP}}: A Temporal Monodic Prover},
 PAGES         = {326--330},
 EDITOR        = {Basin, David A. and Rusinowitch, Micha{\"e}l},
 TITLE         = {Proceedings of the Second International Joint Conference
 on Automated Reasoning (IJCAR 2004)}, 
 CADDRESS      = {Cork, Ireland}, 
 CMONTH        = jul # {4--8}, 
 CYEAR         = {2004},
 PUBLISHER     = {Springer},
 SERIES        = {LNAI},
 VOLUME        = {3097},
 YEAR          = {2004},
 ISBN          = {3-540-22345-2},
}