No feasible interpolation for TC/sup 0/-Frege proofs | IEEE Conference Publication | IEEE Xplore