On Interpolation and Automatization for Frege Systems (2000)

by Maria Luisa Bonet , Toniann Pitassi , Ran Raz
Citations:51 - 7 self