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