MAYBE

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

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