Pierre Lescanne. On Termination of One Rule Rewrite Systems. Theoretical Computer Science, 132(2):395-401, 1994.
@article{Lescanne94, title = {On Termination of One Rule Rewrite Systems}, author = {Pierre Lescanne}, year = {1994}, tags = {rule-based, termination, graph-rewriting, rules, rewriting}, researchr = {https://researchr.org/publication/Lescanne94}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {132}, number = {2}, pages = {395-401}, }