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