Robert A. Kowalski. A Proof Procedure Using Connection Graphs. Journal of the ACM, 22(4):572-595, 1975. [doi]
@article{Kowalski75-0, title = {A Proof Procedure Using Connection Graphs}, author = {Robert A. Kowalski}, year = {1975}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Kowalski75-0}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {22}, number = {4}, pages = {572-595}, }