EQUATIONS: 
plus(plus(x,y),z) = plus(x,plus(y,z))
plus(0(),0()) = 0()
plus(x,minus(x)) = 0()
f(0(),y,z) = y
g(plus(x,y),y) = f(plus(x,y),x,y)

COMPLETE TRS:
RULES:
plus(plus(x,y),z) -> plus(x,plus(y,z))
plus(x,minus(x)) -> 0()
f(0(),y,z) -> y
minus(0()) -> 0()
minus(minus(x)) -> x
plus(minus(x),x) -> 0()
plus(0(),x) -> x
plus(minus(x),plus(x,y)) -> y
plus(y,plus(minus(y),x)) -> x
plus(x,0()) -> x
minus(plus(y,x)) -> plus(minus(x),minus(y))
g(x,y) -> f(x,plus(x,minus(y)),y)

SUCCESS
MaxTRS: 4 
Search time: 3.03 seconds