MAYBE

Problem:
 f(x,c(x),c(y)) -> f(y,y,f(y,x,y))
 f(s(x),y,z) -> f(x,s(c(y)),c(z))
 f(c(x),x,y) -> c(y)
 g(x,y) -> x
 g(x,y) -> y

Proof:
 DP Processor:
  DPs:
   f#(x,c(x),c(y)) -> f#(y,x,y)
   f#(x,c(x),c(y)) -> f#(y,y,f(y,x,y))
   f#(s(x),y,z) -> f#(x,s(c(y)),c(z))
  TRS:
   f(x,c(x),c(y)) -> f(y,y,f(y,x,y))
   f(s(x),y,z) -> f(x,s(c(y)),c(z))
   f(c(x),x,y) -> c(y)
   g(x,y) -> x
   g(x,y) -> y
  SCC Processor:
   #sccs: 1
   #rules: 3
   #arcs: 9/9
   DPs:
    f#(x,c(x),c(y)) -> f#(y,x,y)
    f#(x,c(x),c(y)) -> f#(y,y,f(y,x,y))
    f#(s(x),y,z) -> f#(x,s(c(y)),c(z))
   TRS:
    f(x,c(x),c(y)) -> f(y,y,f(y,x,y))
    f(s(x),y,z) -> f(x,s(c(y)),c(z))
    f(c(x),x,y) -> c(y)
    g(x,y) -> x
    g(x,y) -> y
   Open