Weighted, Circular and Semi-Algebraic Proofs | Publicación