Proof Complexity Meets Algebra | Publicación