Protoalgebraic Gentzen Systems and the Cut Rule | Publicación