@inproceedings{Horr02e,
  title = "Reasoning with Expressive Description Logics: Theory and Practice",
  author = "Ian Horrocks",
  year = "2002",
  booktitle = "Proc.\ of the 19th Int.\ Conf.\ on Automated Deduction (CADE~2002)",
  editor = "Andrei Voronkov",
  isbn = "3-540-43931-5",
  number = "2392",
  pages = "1--15",
  publisher = "Springer",
  series = "Lecture Notes in Artificial Intelligence",
  url = "download/2002/cade02.pdf",
}