Operational and Semantic Equivalence Between Recursive Programs

Termination of rewriting

Journal of Symbolic Computation

Rewrite, rewrite, rewrite, rewrite, rewrite...

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Towards a semantic theory for equational programming languages

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming

General Algorithms for Permutations in Equational Inference

Journal of Automated Reasoning

Context-sensitive rewriting strategies

Information and Computation

Directions in Functional Programming for Real(-Time) Applications

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software

Infinite Unfolding and Transformations of Nondeterministic Programs

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1

Automatic mining of functionally equivalent code fragments via random testing

Proceedings of the eighteenth international symposium on Software testing and analysis

Generalizing newman's lemma for left-linear rewrite systems

RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications

Infinite Unfolding and Transformations of Nondeterministic Programs

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1

Modularity in term rewriting revisited

Theoretical Computer Science