RRL: A Rewrite Rule Laboratory.

Deepak Kapur, Hantao Zhang

Browse the full CADE paper archive.