@inproceedings{HoSa05a,
  title = "A Tableaux Decision Procedure for $\mathcal{SHOIQ}$",
  author = "Ian Horrocks and Ulrike Sattler",
  year = "2005",
  booktitle = "Proc.\ of the 19th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2005)",
  pages = "448--453",
  url = "download/2005/HoSa05a.pdf",
}