On Semantic Resolution with Lemmaizing and Contraction

Maria Paola Bonacina, Jieh Hsiang. On Semantic Resolution with Lemmaizing and Contraction. In Norman Y. Foo, Randy Goebel, editors, PRICAI 96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings. Volume 1114 of Lecture Notes in Computer Science, pages 372-386, Springer, 1996.

@inproceedings{BonacinaH96:0,
  title = {On Semantic Resolution with Lemmaizing and Contraction},
  author = {Maria Paola Bonacina and Jieh Hsiang},
  year = {1996},
  researchr = {https://researchr.org/publication/BonacinaH96%3A0},
  cites = {0},
  citedby = {0},
  pages = {372-386},
  booktitle = {PRICAI 96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings},
  editor = {Norman Y. Foo and Randy Goebel},
  volume = {1114},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61532-6},
}