Decidable Reasoning in Terminological Knowledge Representation Systems (1993)

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