"Incremental Techniques for Efficient Normalization of Nonlinear Rewrite ..."

R. Ramesh, I. V. Ramakrishnan (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics