Enno Ohlebusch. On the Modularity of Termination of Term Rewriting Systems. Theoretical Computer Science, 136(2):333-360, 1994.
@article{Ohlebusch94:1, title = {On the Modularity of Termination of Term Rewriting Systems}, author = {Enno Ohlebusch}, year = {1994}, tags = {term rewriting, termination, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Ohlebusch94%3A1}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {136}, number = {2}, pages = {333-360}, }