First-Order Reasoning and Efficient Semi-Algebraic Proofs | IEEE Conference Publication | IEEE Xplore