Manfred Schmidt-Schauß, Massimo Marchiori, Sven Eric Panitz. Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems. Theoretical Computer Science, 149(2):361-374, 1995. [doi]
@article{Schmidt-SchaussMP95, title = {Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems}, author = {Manfred Schmidt-Schauß and Massimo Marchiori and Sven Eric Panitz}, year = {1995}, doi = {10.1016/0304-3975(95)00080-G}, url = {http://dx.doi.org/10.1016/0304-3975(95)00080-G}, tags = {term rewriting, termination, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Schmidt-SchaussMP95}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {149}, number = {2}, pages = {361-374}, }