@INCOLLECTION{HorrocksHustadtSattlerSchmidt07,
AUTHOR = {Horrocks, I. and Hustadt, U. and Sattler, U. and Schmidt, R. A.},
YEAR = {2007},
TITLE = {Computational Modal Logic},
EDITOR = {Blackburn, P. and van Benthem, J. and Wolter, F.},
BOOKTITLE = {Handbook of Modal Logic},
SERIES = {Studies in Logic and Practical Reasoning},
VOLUME = {3},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam},
PAGES = {181--245},
ISBN = {0-444-51690-5},
NOTE = {Commissioned overview paper},
URL = {\url{http://www.cs.man.ac.uk/~schmidt/publications/HorrocksHustadtSattlerSchmidt07.html}},
DOI = {http://dx.doi.org/10.1016/S1570-2464(07)80007-3}
}