@InProceedings{HaMo01d,
  author = 	 {V. Haarslev and R. M{\"o}ller},
  title = 	 {Optimizing Reasoning in Description Logics with
Qualified Number Restrictions},
  booktitle = {Proceedings International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August},
  pages = 	 {142--151},
  year = 	 {2001},
}