@workingPaper{BuchheitDoniniSchaerf_1993, title={Decidable reasoning in terminological knowledge representation systems}, author={Buchheit, Martin and Donini, Francesco M. and Schaerf, Andrea}, doi={http://dx.doi.org/10.22028/D291-24894}, year={1993} }