EQUATIONS: p(0()) = 0() p(s(x)) = x plus(x,0()) = x s(plus(x,p(y))) = plus(x,y) COMPLETE TRS: RULES: plus(x,0()) -> x s(x) -> x p(x) -> x SUCCESS MaxTRS: 2 Search time: 0.01 seconds