Françoise Bellegarde. Convergent term rewriting systems can be used for program transformation. In Harald Ganzinger, Neil D. Jones, editors, Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985. Volume 217 of Lecture Notes in Computer Science, pages 24-41, Springer, 1985.
Abstract is missing.