YES

---- CR(R)
---- [Knuth and Bendix, 1970]
R:
g(a(),y) -> y
f(x,a()) -> f(x,g(x,b()))
g(h(x),y) -> g(x,h(y))
CP(R):