@INPROCEEDINGS{HustadtSchmidt01a,
AUTHOR = {Hustadt, U. and Schmidt, R. A.},
YEAR = {2001},
TITLE = {Formulae which Highlight Differences between Temporal Logic and Dynamic Logic Provers},
EDITOR = {Giunchiglia, E. and Massacci, F.},
BOOKTITLE = {Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics},
SERIES = {Technical Report DII 14/01},
PUBLISHER = {Dipartimento di Ingegneria dell'Informazione, Unversit{\'a} degli Studi di Siena, Siena, Italy},
PAGES = {68--76},
ABSTRACT = {In this Note we compare different inference methods 
for propositional temporal logic by empirical analysis. 
We define a class of randomly generated temporal logic formulae 
which we use to investigate the behaviour of a tableaux-based 
temporal logic approach using the Logics Workbench, a 
tableaux-based approach for propositional dynamic logic 
using an appropriate translation and the prover DLP, and 
temporal resolution using TRP.
}
}