YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
+(0(),y) -> y
+(x,0()) -> x
+(s(x),y) -> s(+(x,y))
+(x,s(y)) -> s(+(x,y))
+(x,y) -> +(y,x)
CP(R):
0() -> 0()
s(___y10) -> s(+(0(),___y10))
___y11 -> +(___y11,0())
0() -> 0()
s(___y19) -> s(+(___y19,0()))
___y24 -> +(0(),___y24)
s(+(___y30,0())) -> s(___y30)
s(+(___y37,s(___y40))) -> s(+(s(___y37),___y40))
s(+(___y41,___y42)) -> +(___y42,s(___y41))
s(+(0(),___y46)) -> s(___y46)
s(+(s(___y53),___y52)) -> s(+(___y53,s(___y52)))
s(+(___y59,___y60)) -> +(s(___y60),___y59)
+(___y64,0()) -> ___y64
+(0(),___y66) -> ___y66
+(___y70,s(___y71)) -> s(+(___y71,___y70))
+(s(___y76),___y73) -> s(+(___y73,___y76))