ML Anthology

Semantic Paramodulation for Horn Sets

William McCune, Lawrence J. Henschen
IJCAI 1983 pp. 902-908
/ijcai/1983/mccune1983ijcai-semantic/
PDF IJCAI Semantic Scholar

Cite

Text

McCune and Henschen. "Semantic Paramodulation for Horn Sets." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[McCune and Henschen. "Semantic Paramodulation for Horn Sets." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/mccune1983ijcai-semantic/)

BibTeX

@inproceedings{mccune1983ijcai-semantic,
  title     = {{Semantic Paramodulation for Horn Sets}},
  author    = {McCune, William and Henschen, Lawrence J.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {902-908},
  url       = {https://mlanthology.org/ijcai/1983/mccune1983ijcai-semantic/}
}