EQUATIONS: 
plus(x,0()) = x
plus(x,s(y)) = s(plus(x,y))
times(x,0()) = 0()
times(x,s(y)) = plus(times(x,y),x)

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

SUCCESS
MaxTRS: 2 
Search time: 0.00 seconds