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