MAYBE

Problem:
 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()))
 g(x,g(y,g(x,y))) -> g(a(),g(x,g(y,b())))

Proof:
 DP Processor:
  DPs:
   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()))
   g#(x,g(y,g(x,y))) -> g#(y,b())
   g#(x,g(y,g(x,y))) -> g#(x,g(y,b()))
   g#(x,g(y,g(x,y))) -> g#(a(),g(x,g(y,b())))
  TRS:
   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()))
   g(x,g(y,g(x,y))) -> g(a(),g(x,g(y,b())))
  Open