@incollection{HHSS06,
  title = "Computational modal logic",
  author = "Ian Horrocks and Ullrich Hustadt and Ulrike Sattler and Renate Schmidt",
  year = "2006",
  booktitle = "Handbook of Modal Logic",
  chapter = "4",
  editor = "Patrick Blackburn and Johan {van Benthem} and Frank Wolter",
  pages = "181--245",
  publisher = "Elsevier",
  url = "download/2006/HHSS06.pdf",
}