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

Publication
Journal of Intelligent Information Systems

Related