Ernesto Jorge Costa. Weakly commuting term rewriting systems : application to automatic recursion removal. In ECAI. pages 87-90, 1982.
@inproceedings{Costa82, title = {Weakly commuting term rewriting systems : application to automatic recursion removal}, author = {Ernesto Jorge Costa}, year = {1982}, tags = {term rewriting, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Costa82}, cites = {0}, citedby = {0}, pages = {87-90}, booktitle = {ECAI}, }