Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories (Logical Methods in Computer Science, 2010)