@INCOLLECTION{HorrocksHustadtSattlerSchmidt06,
AUTHOR = {Horrocks, I. and Hustadt, U. and Sattler, U. and Schmidt, R. A.},
YEAR = {2006},
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 = {??--??},
ISBN = {0-444-51690-5},
NOTE = {Commissioned overview paper},
URL = {\url{http://www.cs.man.ac.uk/~schmidt/publications/HorrocksHustadtSattlerSchmidt06.html}},
}