@TECHREPORT{BaaderSattler-LTCS-96-03,
 author         = {F. Baader and U. Sattler},
 title          = {Description Logics with Symbolic Number Restrictions},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen},
 year           = 1996,
 number         = {LTCS-96-03},
 note           = {An abridged version has appeared in the Proceedings of the
                  12th European Conference on Artificial Intelligence, 1996,
                  Budapest, Hungary.}
}