Andrea Schaerf
-
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research