Modularity of Termination in Term Graph Rewriting

M. R. K. Krishna Rao. Modularity of Termination in Term Graph Rewriting. In Harald Ganzinger, editor, Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings. Volume 1103 of Lecture Notes in Computer Science, pages 230-244, Springer, 1996.