On interpolation and automatization for frege systems (0)

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