On interpolation and automatization for Frege systems (0)

by M L Bonet, T Pitassi, R Raz
Venue:SIAM Journal on Computing