EQUATIONS: f(g(x),x) = a() f(g(x),y) = h(y) f(g(x),f(y,z)) = k(f(g(x),y),f(g(x),z)) COMPLETE TRS: RULES: f(g(x),y) -> a() h(x) -> a() k(a(),a()) -> a() SUCCESS MaxTRS: 2 Search time: 0.02 seconds