MAYBE
MAYBE
TRS:
 {
  f(X, Y, g(X, Y)) -> h(0(), g(X, Y)),
           h(X, Z) -> f(X, s(X), Z),
        g(X, s(Y)) -> g(X, Y),
         g(0(), Y) -> 0()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
    f(X, Y, g(X, Y)) -> h(0(), g(X, Y)),
             h(X, Z) -> f(X, s(X), Z),
          g(X, s(Y)) -> g(X, Y),
           g(0(), Y) -> 0()
   }
  Fail