Rewriting term-graphs with priority.

Ricardo Caferra, Rachid Echahed, Nicolas Peltier

Browse the full PPDP paper archive.