@inproceedings{HoSa02a,
  title = "Optimised Reasoning for $\mathcal{SHIQ}$",
  author = "Ian Horrocks and Ulrike Sattler",
  year = "2002",
  booktitle = "Proc.\ of the 15th Eur.\ Conf.\ on Artificial Intelligence (ECAI~2002)",
  isbn = "1-58603-257-7",
  month = "JUL",
  pages = "277--281",
  url = "download/2002/HorrocksSattlerECAI2002.pdf",
}