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

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

SUCCESS
MaxTRS: 2 
Search time: 0.00 seconds