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