Normalization via rewrite closures (1999)

by L Bachmair, C R Ramakrishnan, I V Ramakrishnan, A Tiwari
Venue:In International Conference on Rewriting Techniques and Applications, RTA `99