Decidable reasoning in terminological knowledge representation systems (1993)

by Martin Buchheit
Venue:Journal of Artificial Intelligence Research
Citations:187 - 12 self