@INPROCEEDINGS{HustadtSchmidt2001a,
 AUTHOR        = {Hustadt, Ullrich and Schmidt, Renate A.},
 TITLE         = {Formulae which Highlight Differences between 
 Temporal Logic and Dynamic Logic Provers},
 BOOKTITLE     = {Issues in the Design and Experimental Evaluation of
 Systems for Modal and Temporal Logics},
 YEAR          = {2001},
 EDITOR        = {Giunchiglia, E. and Massacci, F.},
 PUBLISHER     = {Dipartimento di Ingegneria dell'Informazione,
 Unversit{\'a} degli Studi di Siena},
 PAGES         = {68--76},
 PADDRESS      = {Siena, Italy},
 PYEAR         = {2001},
 CADDRESS      = {Siena, Italy},
 CYEAR         = {2001},
 CMONTH        = jun # {~18--19},
 SERIES        = {Technical Report DII 14/01},
}