Size bounds for algebraic and semialgebraic proof systems | Publicación