@ARTICLE{DeNivelleSchmidtHustadt00,
 AUTHOR  = {De Nivelle, H. and Schmidt, R. A. and Hustadt, U.},
 TITLE   = {Resolution-Based Methods for Modal Logics},
 JOURNAL = {Logic Journal of the IGPL},
 MONTH   = may,
 VOLUME  = {8},
 NUMBER  = {3},
 PAGES   = {265--292},
 ISSN    = {1367-0751},
 YEAR    = {2000},
}