EQUATIONS: plus(plus(x,y),z) = plus(x,plus(y,z)) f(plus(x,y)) = plus(f(x),f(y)) COMPLETE TRS: RULES: plus(plus(x,y),z) -> plus(x,plus(y,z)) f(plus(x,y)) -> plus(f(x),f(y)) SUCCESS MaxTRS: 2 Search time: 0.00 seconds