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()))
  EDG 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()))
   graph:
    ap#(ap(ap(g(),x),y),ap(s(),z)) -> ap#(ap(ap(g(),x),y),ap(ap(x,y),0())) ->
    ap#(ap(ap(g(),x),y),ap(s(),z)) -> ap#(x,y)
    ap#(ap(ap(g(),x),y),ap(s(),z)) -> ap#(ap(ap(g(),x),y),ap(ap(x,y),0())) ->
    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())) ->
    ap#(ap(ap(g(),x),y),ap(s(),z)) -> ap#(ap(ap(g(),x),y),ap(ap(x,y),0()))
    ap#(ap(ap(g(),x),y),ap(s(),z)) -> ap#(x,y) ->
    ap#(ap(ap(g(),x),y),ap(s(),z)) -> ap#(x,y)
    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#(x,y) ->
    ap#(ap(ap(g(),x),y),ap(s(),z)) -> ap#(ap(ap(g(),x),y),ap(ap(x,y),0()))
   SCC Processor:
    #sccs: 1
    #rules: 2
    #arcs: 6/9
    DPs:
     ap#(ap(ap(g(),x),y),ap(s(),z)) -> ap#(ap(ap(g(),x),y),ap(ap(x,y),0()))
     ap#(ap(ap(g(),x),y),ap(s(),z)) -> ap#(x,y)
    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