@INCOLLECTION{SchmidtHustadt2003c,
 AUTHOR      = {Schmidt, R. A. and Hustadt, U.},
 MONTH       = dec,
 YEAR        = {2003},
 TITLE       = {Mechanised Reasoning and Model Generation for Extended 
 Modal Logics},
 SERIES      = {LNCS}
 VOLUME      = {2929},
 EDITOR      = {de Swart, Harrie and Orlowska, Ewa and
 Schmidt, Gunther and Roubens, Marc},
 BOOKTITLE   = {Theory and Applications of Relational Structures
 as Knowledge Instruments. COST Action 274, TARSKI. Revised Papers},
 PAGES       = {38--67},
}