@InProceedings{HaTM01b,
  author = 	 {V. Haarslev and M. Timmann and R. M{\"o}ller},
  title = 	 {Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions},
  booktitle = {Proceedings of the International Workshop on Methods for Modalities 2 (M4M-2), Amsterdam, Netherlands, November 29-30},
  year = 	 {2001},
}