@techreport{HoTo99a,
  title = "Optimisation of Terminological Reasoning",
  author = "Ian Horrocks and Stephan Tobies",
  year = "1999",
  institution = "LuFg Theoretical Computer Science, RWTH Aachen, Germany",
  number = "99-14",
  url = "download/1999/HoTo99a.pdf",
}