TY  - RPRT
TI  - Decidable Reasoning in Terminological Knowledge Representation Systems
AU  - M. Buchheit
AU  - F. M. Donini
AU  - A. Schaerf
PY  - 1993
UR  - https://arxiv.org/abs/cs/9312101
ID  - cs/9312101
ER  -