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

  • Andrea Schaerf
  • Published 1993 in Journal of Intelligent Information Systems

Cite this paper

@article{Schaerf1993OnTC, title={On the complexity of the instance checking problem in concept languages with existential quantification}, author={Andrea Schaerf}, journal={Journal of Intelligent Information Systems}, year={1993}, volume={2}, pages={265-278} }