@InProceedings{BaSat95,
  author = 	 {Baader, F. and Sattler, U.},
  title = 	 {Description Logics with Symbolic Number Restrictions},
  booktitle = 	 {Proceedings of the Twelfth European Conference on Artificial
                   Intelligence (ECAI-96)},
  editor =	 {Wahlster, W.},
  year =	 1996,
  ccl =          {yes},
  pages =        {283--287},
  publisher =	 {John Wiley \& Sons Ltd},
  note = {An extended version has appeared as Technical Report LTCS-96-03}
}