On the complexity of the instance checking problem in concept languages with existential quantification (1993)

by A Schaerf
Venue:Journal of Intelligent Information Systems