@ARTICLE{DeNivelleSchmidtHustadt00,
AUTHOR = {De Nivelle, H. and Schmidt, R. A. and Hustadt, U.},
MONTH = {May},
YEAR = {2000},
TITLE = {Resolution-Based Methods for Modal Logics},
JOURNAL = {Logic Journal of the IGPL},
VOLUME = {8}, 
NUMBER = {3},
PAGES = {265--292},
ISSN = {1367-07511, 1367-3034},
URL = {http://www3.oup.co.uk:80/igpl/Volume_08/Issue_03/#denivelle},
ABSTRACT = {In this paper we give an overview of resolution methods for extended
propositional modal logics.
We adopt the standard translation approach and consider different
resolution refinements which provide decision procedures for the
resulting clause sets.
Our procedures are based on ordered resolution and selection-based
resolution.
The logics that we cover are multi-modal logics defined over relations
closed under intersection, union, converse and possibly
complementation.
}
}