@inproceedings{HoST99,
  title = "Practical Reasoning for Expressive Description Logics",
  author = "I. Horrocks and U. Sattler and S. Tobies",
  year = "1999",
  annote = "AKA: Horrocks99j",
  booktitle = "Proc.\ of the 6th Int.\ Conf.\ on Logic for Programming and Automated Reasoning (LPAR'99)",
  editor = "H. Ganzinger and D. McAllester and A. Voronkov",
  isbn = "3-540-66492-0",
  number = "1705",
  pages = "161--180",
  publisher = "Springer",
  series = "Lecture Notes in Artificial Intelligence",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/1999/lpar99.pdf",
}