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