ML Anthology

A Nonclausal Connection-Graph Resolution Theorem-Proving Program

Mark E. Stickel
AAAI 1982 pp. 229-233
/aaai/1982/stickel1982aaai-nonclausal/
PDF AAAI Semantic Scholar

Cite

Text

Stickel. "A Nonclausal Connection-Graph Resolution Theorem-Proving Program." AAAI Conference on Artificial Intelligence, 1982.

Markdown

[Stickel. "A Nonclausal Connection-Graph Resolution Theorem-Proving Program." AAAI Conference on Artificial Intelligence, 1982.](https://mlanthology.org/aaai/1982/stickel1982aaai-nonclausal/)

BibTeX

@inproceedings{stickel1982aaai-nonclausal,
  title     = {{A Nonclausal Connection-Graph Resolution Theorem-Proving Program}},
  author    = {Stickel, Mark E.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1982},
  pages     = {229-233},
  url       = {https://mlanthology.org/aaai/1982/stickel1982aaai-nonclausal/}
}