MAYBE

Problem:
 f(h(x),y) -> h(f(y,f(x,h(a()))))

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