@inproceedings{TeHo02a,
  title = "Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics",
  author = "Sergio Tessaris and Ian Horrocks",
  year = "2002",
  booktitle = "Proc.\ of the 9th Int.\ Conf.\ on Logic for Programming, Artificial Intelligence and Reasoning (LPAR~2002)",
  isbn = "3-540-00010-0",
  number = "2514",
  pages = "435--449",
  publisher = "Springer",
  series = "Lecture Notes in Artificial Intelligence",
  url = "download/2002/lpar02.pdf",
}