MAYBE
MAYBE
TRS:
 {
  c(f(z), f(c(a(), x, a())), y) -> c(f(b(x, z)), c(z, y, a()), a()),
                        b(y, z) -> f(c(c(y, z, z), a(), a())),
                b(b(z, y), a()) -> z
 }
 DUP: We consider a duplicating system.
  Trs:
   {
    c(f(z), f(c(a(), x, a())), y) -> c(f(b(x, z)), c(z, y, a()), a()),
                          b(y, z) -> f(c(c(y, z, z), a(), a())),
                  b(b(z, y), a()) -> z
   }
  Fail