@phdthesis{Horr97b,
  title = "Optimising Tableaux Decision Procedures for Description Logics",
  author = "Ian Horrocks",
  year = "1997",
  annote = "AKA: Horrocks97b",
  school = "University of Manchester",
  url = "download/1997/phd.pdf",
}