@InProceedings{HaMo00b,
  author = 	 {V. Haarslev and R. M{\"o}ller},
  title = 	 {Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles},
  booktitle = {Proceedings of Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, Colorado, USA, 12-15 April},
  pages = 	 {273--284},
  year = 	 {2000},
  editor = 	 {Fausto Giunchiglia and Bart Selman},
  publisher = {Morgan Kaufmann},
}