TY  - RPRT
TI  - First-Order Reasoning and Efficient Semi-Algebraic Proofs
AU  - Fedor Part
AU  - Neil Thapen
AU  - Iddo Tzameret
PY  - 2021
UR  - https://arxiv.org/abs/2105.07531
ID  - 2105.07531
ER  -