EQUATIONS: 
plus(x,z()) = x
s(plus(x,y)) = plus(x,s(y))

COMPLETE TRS:
RULES:
plus(x,z()) -> x
plus(x,s(y)) -> s(plus(x,y))

SUCCESS
MaxTRS: 2 
Search time: 0.00 seconds