MAYBE

Problem:
 ap(f(),x) -> x
 ap(ap(ap(g(),x),y),ap(s(),z)) -> ap(ap(ap(g(),x),y),ap(ap(x,y),0()))

Proof:
 DP Processor:
  DPs:
   ap#(ap(ap(g(),x),y),ap(s(),z)) -> ap#(x,y)
   ap#(ap(ap(g(),x),y),ap(s(),z)) -> ap#(ap(x,y),0())
   ap#(ap(ap(g(),x),y),ap(s(),z)) -> ap#(ap(ap(g(),x),y),ap(ap(x,y),0()))
  TRS:
   ap(f(),x) -> x
   ap(ap(ap(g(),x),y),ap(s(),z)) -> ap(ap(ap(g(),x),y),ap(ap(x,y),0()))
  Open