RRL: A Rewrite Rule Laboratory.

Deepak Kapur, G. Sivakumar, Hantao Zhang

Browse the full CADE paper archive.