TY  - RPRT
TI  - On Decidability of Expressive Description Logics with Composition of Roles in Number Restrictions
AU  - Fabio Grandi
PY  - 2003
UR  - https://arxiv.org/abs/cs/0308029
ID  - cs/0308029
ER  -