Ricardo Caferra, Rachid Echahed, Nicolas Peltier. Rewriting term-graphs with priority. In Annalisa Bossi, Michael J. Maher, editors, Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy. pages 109-120, ACM, 2006. [doi]
Abstract is missing.