Decidable reasoning in terminological knowledge representation systems (1993)

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