On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification

Andrea Schaerf. On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification. In Henryk Jan Komorowski, Zbigniew W. Ras, editors, Methodologies for Intelligent Systems, 7th International Symposium, ISMIS 93, Trondheim, Norway, June 15-18, 1993, Proceedings. Volume 689 of Lecture Notes in Computer Science, pages 508-517, Springer, 1993.

@inproceedings{Schaerf93:1,
  title = {On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification},
  author = {Andrea Schaerf},
  year = {1993},
  researchr = {https://researchr.org/publication/Schaerf93%3A1},
  cites = {0},
  citedby = {0},
  pages = {508-517},
  booktitle = {Methodologies for Intelligent Systems, 7th International Symposium, ISMIS  93, Trondheim, Norway, June 15-18, 1993, Proceedings},
  editor = {Henryk Jan Komorowski and Zbigniew W. Ras},
  volume = {689},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56804-2},
}