@INPROCEEDINGS{HustadtKonev2003a,
 AUTHOR        = {Hustadt, U. and Konev, Boris},
 YEAR          = {2003},
 TITLE         = {TRP{+}{+} 2.0:  A temporal resolution prover},
 XEDITOR       = {Baader, F.},
 BOOKTITLE     = {Automated Deduction---CADE-19},
 SERIES        = {Lecture Notes in Artificial Intelligence},
 VOLUME        = {2741},
 PUBLISHER     = {Springer},
 PAGES         = {274--278},
}