Craig C. Squier, Friedrich Otto, Yuji Kobayashi. A Finiteness Condition for Rewriting Systems. Theoretical Computer Science, 131(2):271-294, 1994.
@article{SquierOK94, title = {A Finiteness Condition for Rewriting Systems}, author = {Craig C. Squier and Friedrich Otto and Yuji Kobayashi}, year = {1994}, tags = {graph-rewriting, C++, rewriting}, researchr = {https://researchr.org/publication/SquierOK94}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {131}, number = {2}, pages = {271-294}, }