Sharon Curtis, Gavin Lowe. Proofs with Graphs. Science of Computer Programming, 26(1-3):197-216, 1996.
@article{CurtisL96, title = {Proofs with Graphs}, author = {Sharon Curtis and Gavin Lowe}, year = {1996}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/CurtisL96}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {26}, number = {1-3}, pages = {197-216}, }