@misc{indiciae9b791168c166,
  title = {First-Order Reasoning and Efficient Semi-Algebraic Proofs},
  author = {Fedor Part and Neil Thapen and Iddo Tzameret},
  year = {2021},
  url = {https://arxiv.org/abs/2105.07531},
  note = {Source identifier: 2105.07531}
}