@INPROCEEDINGS{HDSF2000,
 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)},
 YEAR          = {2000},
 PUBLISHER     = {Springer},
 PYEAR         = {2000},
 CADDRESS      = {Nancy, France},
 CYEAR         = {2000},
 CMONTH        = mar # {~22--24},
 SERIES        = {LNAI},
 VOLUME        = {1794},
 PAGES         = {73--87},
}