@INPROCEEDINGS{HustadtDixonEtal00,
AUTHOR = {Hustadt, U. and Dixon, C. and Schmidt, R. A. and Fisher, M.},
YEAR = {2000},
TITLE = {Normal Forms and Proofs in Combined Modal and Temporal Logics},
EDITOR = {Kirchner, H. and Ringeissen, C.},
BOOKTITLE = {Proceedings of the Third International Workshop on Frontiers of Combining Systems (FroCoS'2000)},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {1794},
PUBLISHER = {Springer},
PAGES = {73--87},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/HustadtDixonEtal00.html},
}