@INPROCEEDINGS{PapacchiniSchmidt14a,
AUTHOR = {Papacchini, F. and Schmidt, R. A.},
YEAR = {2014},
TITLE = {Terminating Minimal Model Generation Procedures for Propositional Modal Logics},
EDITOR = {S. Demri and D. Kapur and C. Weidenbach},
BOOKTITLE = {Automated Reasoning (IJCAR 2014)},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {8562},
PUBLISHER = {Springer},
PAGES = {381--395},
DOI = {10.1007/978-3-319-08587-6_30},
URL = {\url{http://www.cs.man.ac.uk/~schmidt/publications/PapacchiniSchmidt14a.html}},
}