Generic Encodings of Constructor Rewriting Systems.

Horatiu Cirstea, Pierre-Etienne Moreau

Browse the full PPDP paper archive.