MAYBE
TRS:
 {              h(x, c(y, z)) -> h(c(s(y), x), z),
  h(c(s(x), c(s(0()), y)), z) -> h(y, c(s(0()), c(x, z)))}
 DP:
  Strict:
   {              h#(x, c(y, z)) -> h#(c(s(y), x), z),
    h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z)))}
  Weak:
  {              h(x, c(y, z)) -> h(c(s(y), x), z),
   h(c(s(x), c(s(0()), y)), z) -> h(y, c(s(0()), c(x, z)))}
  EDG:
   {(h#(x, c(y, z)) -> h#(c(s(y), x), z), h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z))))
    (h#(x, c(y, z)) -> h#(c(s(y), x), z), h#(x, c(y, z)) -> h#(c(s(y), x), z))
    (h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z))), h#(x, c(y, z)) -> h#(c(s(y), x), z))
    (h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z))), h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z))))}
   SCCS:
    Scc:
     {              h#(x, c(y, z)) -> h#(c(s(y), x), z),
      h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z)))}
    SCC:
     Strict:
      {              h#(x, c(y, z)) -> h#(c(s(y), x), z),
       h#(c(s(x), c(s(0()), y)), z) -> h#(y, c(s(0()), c(x, z)))}
     Weak:
     {              h(x, c(y, z)) -> h(c(s(y), x), z),
      h(c(s(x), c(s(0()), y)), z) -> h(y, c(s(0()), c(x, z)))}
     Fail