@InProceedings{HaMo00d,
  author = 	 {V. Haarslev and R. M{\"o}ller},
  title = 	 {Optimizing TBox and ABox Reasoning with Pseudo Models},
  booktitle = {Proceedings of the International Workshop in Description Logics 2000 (DL2000), Aachen, Germany},
  pages = 	 {153--162},
  year = 	 {2000},
}