Krishna Rao, M. R. K. (1996). Modularity of termination in term graph rewriting. In H., Ganzinger (Ed.), Rewriting Techniques and Applications (pp. 230-244). Berlin, Germany: Springer.