MAYBE
Time: 0.009

Problem:
 Equations:
  
 TRS:
  pAC(x,zero()) -> x
  mAC(x,zero()) -> zero()
  pAC(s(x),y) -> s(pAC(x,y))
  mAC(s(x),y) -> pAC(mAC(x,y),y)
  mAC(x,pAC(y,z)) -> pAC(mAC(x,y),mAC(x,z))

Proof:
 Open