Pierre Lescanne. Termination of Rewrite Systems by Elementary Interpretations. Formal Asp. Comput., 7(1):77-90, 1995.
@article{Lescanne95:0, title = {Termination of Rewrite Systems by Elementary Interpretations}, author = {Pierre Lescanne}, year = {1995}, tags = {termination, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Lescanne95%3A0}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {7}, number = {1}, pages = {77-90}, }