MAYBE

Problem:
 g(x,x) -> g(a(),b())
 g(c(),g(c(),x)) -> g(e(),g(d(),x))
 g(d(),g(d(),x)) -> g(c(),g(e(),x))
 g(e(),g(e(),x)) -> g(d(),g(c(),x))
 f(g(x,y)) -> g(y,g(f(f(x)),a()))

Proof:
 DP Processor:
  DPs:
   g#(x,x) -> g#(a(),b())
   g#(c(),g(c(),x)) -> g#(d(),x)
   g#(c(),g(c(),x)) -> g#(e(),g(d(),x))
   g#(d(),g(d(),x)) -> g#(e(),x)
   g#(d(),g(d(),x)) -> g#(c(),g(e(),x))
   g#(e(),g(e(),x)) -> g#(c(),x)
   g#(e(),g(e(),x)) -> g#(d(),g(c(),x))
   f#(g(x,y)) -> f#(x)
   f#(g(x,y)) -> f#(f(x))
   f#(g(x,y)) -> g#(f(f(x)),a())
   f#(g(x,y)) -> g#(y,g(f(f(x)),a()))
  TRS:
   g(x,x) -> g(a(),b())
   g(c(),g(c(),x)) -> g(e(),g(d(),x))
   g(d(),g(d(),x)) -> g(c(),g(e(),x))
   g(e(),g(e(),x)) -> g(d(),g(c(),x))
   f(g(x,y)) -> g(y,g(f(f(x)),a()))
  Open