@InProceedings{HaMT01,
  author = 	 {V. Haarslev and R. M{\"o}ller and A.Y. Turhan},
  title = 	 {Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics},
  booktitle = {International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy},
  pages = 	 {29-44},
  year = 	 {2001},
  editor = 	 {R. Gor{\'e} and  A. Leitsch and T. Nipkow},
  publisher = {Springer-Verlag},
  springer = {yes},
}