@article{HoSa07a,
  title = "A Tableau Decision Procedure for $\mathcal{SHOIQ}$",
  author = "Ian Horrocks and Ulrike Sattler",
  year = "2007",
  issn = "0168-7433",
  journal = "J.\ of Automated Reasoning",
  number = "3",
  pages = "249--276",
  url = "download/2007/HoSa07a.pdf",
  volume = "39",
  doi = "10.1007/s10817-007-9079-9",
}