On Interpolation and Automatization for Frege Systems (2000)

by Maria Luisa Bonet , Toniann Pitassi , Ran Raz
Citations:45 - 5 self