The Rewrite Engines Competitions: A RECtrospective.

Francisco Durn, Hubert Garavel

Browse the full TACAS paper archive.