On Interpolation and Automatization for Frege Systems (2000)

by M Bonet, T Pitassi, R Raz
Venue:Michael Alekhnovich & Alexander Razborov