Normalization via Rewrite Closures (1999)

Cached

Download Links

by L. Bachmair , C. Ramakrishnan , I.V. Ramakrishnan , A. Tiwari
Venue:Rewriting Techniques and Applications, 10th International Conference, RTA-99, volume 1631 of LNCS
Citations:6 - 3 self