@techreport{HoSa01b,
  title = "Optimised Reasoning for $\mathcal{SHIQ}$",
  author = "Ian Horrocks and Ulrike Sattler",
  year = "2001",
  institution = "LuFg Theoretical Computer Science, RWTH Aachen, Germany",
  number = "01-08",
  url = "download/2001/HoSa01b.pdf",
}