MAYBE
Time: 0.000673
TRS:
 {g(x, h(y, z)) -> h(g(x, y), z),
  g(f(x, y), z) -> f(x, g(y, z)),
  g(h(x, y), z) -> g(x, f(y, z))}
 DP:
  DP:
   {g#(x, h(y, z)) -> g#(x, y),
    g#(f(x, y), z) -> g#(y, z),
    g#(h(x, y), z) -> g#(x, f(y, z))}
  TRS:
  {g(x, h(y, z)) -> h(g(x, y), z),
   g(f(x, y), z) -> f(x, g(y, z)),
   g(h(x, y), z) -> g(x, f(y, z))}
  UR:
   {}
   EDG:
    {(g#(h(x, y), z) -> g#(x, f(y, z)), g#(h(x, y), z) -> g#(x, f(y, z)))
     (g#(h(x, y), z) -> g#(x, f(y, z)), g#(f(x, y), z) -> g#(y, z))
     (g#(x, h(y, z)) -> g#(x, y), g#(x, h(y, z)) -> g#(x, y))
     (g#(x, h(y, z)) -> g#(x, y), g#(f(x, y), z) -> g#(y, z))
     (g#(x, h(y, z)) -> g#(x, y), g#(h(x, y), z) -> g#(x, f(y, z)))
     (g#(f(x, y), z) -> g#(y, z), g#(x, h(y, z)) -> g#(x, y))
     (g#(f(x, y), z) -> g#(y, z), g#(f(x, y), z) -> g#(y, z))
     (g#(f(x, y), z) -> g#(y, z), g#(h(x, y), z) -> g#(x, f(y, z)))}
    STATUS:
     arrows: 0.111111
     SCCS (1):
      Scc:
       {g#(x, h(y, z)) -> g#(x, y),
        g#(f(x, y), z) -> g#(y, z),
        g#(h(x, y), z) -> g#(x, f(y, z))}
      
      SCC (3):
       Strict:
        {g#(x, h(y, z)) -> g#(x, y),
         g#(f(x, y), z) -> g#(y, z),
         g#(h(x, y), z) -> g#(x, f(y, z))}
       Weak:
       {g(x, h(y, z)) -> h(g(x, y), z),
        g(f(x, y), z) -> f(x, g(y, z)),
        g(h(x, y), z) -> g(x, f(y, z))}
       Open