Martin Buchheit Francesco M. Donini Andrea Schaerf Decidable Reasoning in Terminological Knowledge Representation Systems. 109-138 1993 1 J. Artif. Intell. Res. (JAIR) db/journals/jair/jair1.html#BuchheitDS93 http://dx.doi.org/10.1613/jair.21