MAYBE
Time: 0.001140
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()}
 DP:
  DP:
   {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)}
  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()}
  EDG:
   {(g#(X, s Y) -> g#(X, Y), g#(X, s Y) -> g#(X, Y))
    (f#(X, Y, g(X, Y)) -> h#(0(), g(X, Y)), h#(X, Z) -> f#(X, s X, Z))}
   STATUS:
    arrows: 0.777778
    SCCS (1):
     Scc:
      {g#(X, s Y) -> g#(X, Y)}
     
     SCC (1):
      Strict:
       {g#(X, s Y) -> g#(X, Y)}
      Weak:
      {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()}
      Open