Abstract Logics as Models of Gentzen Systems | Publicación