Mark E. Stickel. A Nonclausal Connection-Graph Resolution Theorem-Proving Program. In AAAI. pages 229-233, 1982.
@inproceedings{Stickel82, title = {A Nonclausal Connection-Graph Resolution Theorem-Proving Program}, author = {Mark E. Stickel}, year = {1982}, tags = {graph-rewriting, e-science, rewriting}, researchr = {https://researchr.org/publication/Stickel82}, cites = {0}, citedby = {0}, pages = {229-233}, booktitle = {AAAI}, }