@InProceedings{HaMo01c,
  author = 	 {V. Haarslev and R. M{\"o}ller},
  title = 	 {High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study},
  booktitle = {Proceedings of Seventeenth International JointĘ Conference on Artificial Intelligence, IJCAI-01},
  pages = 	 {161--166},
  year = 	 {2001},
  editor = 	 {B. Nebel},
}