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