A Compiler for Rewrite Programs in Associative-Commutative Theories