Transformation ordering

This publication has 4 references indexed in Scilit:

• Rewriting systems on FP expressions to reduce the number of sequences yielded
  Science of Computer Programming, 1986
• Proving termination of associative commutative rewriting systems by rewriting
  Published by Springer Nature ,1986
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978