Description Logics with Symbolic Number Restrictions
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/ecai/BaaderS96,
author = {Franz Baader and
Ulrike Sattler},
title = {Description Logics with Symbolic Number Restrictions},
booktitle = {ECAI},
year = {1996},
pages = {283-287},
crossref = {DBLP:conf/ecai/1996},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
