Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories | Publicación