R. Ramesh, I. V. Ramakrishnan. Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems. In Ronald V. Book, editor, International Conference on Rewriting Techniques and Applications. Volume 488 of Lecture Notes in Computer Science, pages 335-347, Springer, Como, Italy, 1991.
Abstract is missing.