YES

---- CR(R)
---- [Jouannaud and Kirchner, 1986]
R:
-(+(x,y)) -> +(-(x),-(y))
-(-(x)) -> x
+(+(x,y),z) -> +(x,+(y,z))
+(x,y) -> +(y,x)
CP_AC(R):
-(+(-(x),-(y))) -> +(x,y)
-(x) -> -(x)