Decidable reasoning in terminological knowledge representation systems. (1993)

by M Buchheit, F M Donini, A Schaerf
Venue:Journal of Artificial Intelligence Research,