Arch D. Robison. An Improved Rewriting-Number Algorithm. BIT, 30(1):51-61, 1990.
@article{Robison90, title = {An Improved Rewriting-Number Algorithm}, author = {Arch D. Robison}, year = {1990}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Robison90}, cites = {0}, citedby = {0}, journal = {BIT}, volume = {30}, number = {1}, pages = {51-61}, }