On interpolation and automatization for frege systems (0)

by M L Bonet, T Pitassi, R Raz
Venue:SIAM J. Comput