@InProceedings{HorrocksSattlerTobies-LPAR-99,
  author = 	 {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
  title = 	 {Practical Reasoning for Expressive Description Logics},
  booktitle = 	 {Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning {(LPAR'99)}},
  editor =       {Harald Ganzinger and David McAllester and Andrei Voronkov},
  month =        sep,
  year =	 1999,
  series =       {Lecture Notes in Artificial Intelligence},
  number =       1705,
  pages =        {161--180},
  publisher =    {Springer-Verlag},
  springer = yes,
  ccl = yes
}