@techreport{Horr97,
  title = "Optimisation Techniques for Expressive Description Logics",
  author = "Ian Horrocks",
  year = "1997",
  annote = "AKA: Horrocks97a",
  institution = "University of Manchester, Department of Computer Science",
  number = "UMCS-97-2-1",
  url = "download/1997/Horr97.pdf",
}