On Interpolation and Automatization for Frege Systems | Publicación