Decidable reasoning in terminological knowledge representation systems

Publication
Journal of Artificial Intelligence Research

Related