A Framework for Space Complexity in Algebraic Proof Systems | Publicación