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