@INPROCEEDINGS{Hustadt+Dixon+Schmidt+Fisher@FroCoS2000,
 AUTHOR        = {Hustadt, Ullrich and Dixon, Clare and Schmidt, Renate A. and Fisher, M.},
 TITLE         = {Normal Forms and Proofs in Combined Modal and Temporal Logics},
 BOOKTITLE     = {Proceedings of the Third International Workshop on Frontiers of Combining Systems
 (FroCoS 2000) [Nancy, France, 22-24 March 2000]},
 YEAR          = {2000},
 PUBLISHER     = {Springer},
 PYEAR         = {2000},
 CADDRESS      = {Nancy, France},
 CYEAR         = {2000},
 CMONTH        = mar # {~22--24},
 SERIES        = {LNAI},
 VOLUME        = {1794},
 PAGES         = {73-87},
 URL           = {Hustadt+Dixon+Schmidt+Fisher@FroCoS2000.pdf},
 ABSTRACT      = {Our aim in this paper is to present an approach
 that is general enough to capture a wide range of combinations of
 temporal and modal logics, but still provides viable means for 
 effective theorem proving.}
}