EQUATIONS: a(b(a(x))) = b(a(x)) c(x) = a(x) c(x) = b(x) COMPLETE TRS: RULES: c(x) -> b(x) a(x) -> b(x) b(b(b(x))) -> b(b(x)) SUCCESS MaxTRS: 2 Search time: 0.02 seconds