MAYBE

Problem:
 f(f(x,y,a()),z,w) -> f(z,w,f(y,x,z))

Proof:
 DP Processor:
  DPs:
   f#(f(x,y,a()),z,w) -> f#(y,x,z)
   f#(f(x,y,a()),z,w) -> f#(z,w,f(y,x,z))
  TRS:
   f(f(x,y,a()),z,w) -> f(z,w,f(y,x,z))
  Open