@misc{indiciae77044766ea6d,
  title = {A Note on Semi-Algebraic Proofs and Gaussian Elimination over Prime Fields},
  author = {Albert Atserias},
  year = {2015},
  url = {https://arxiv.org/abs/1502.03974},
  note = {Source identifier: 1502.03974}
}