MAYBE

Problem:
 ap(ap(g(),x),y) -> y
 ap(f(),x) -> ap(f(),app(g(),x))

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