Masahito Kurihara, Azuma Ohuchi. Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors. Theoretical Computer Science, 103(2):273-282, 1992.
@article{KuriharaO92, title = {Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors}, author = {Masahito Kurihara and Azuma Ohuchi}, year = {1992}, tags = {term rewriting, termination, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/KuriharaO92}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {103}, number = {2}, pages = {273-282}, }