@misc{indiciae1c30856d5aee,
  title = {Computational Arithmetic Geometry I: Sentences Nearly in the Polynomial Hierarchy},
  author = {J. Maurice Rojas},
  year = {2001},
  url = {https://arxiv.org/abs/math/0005029},
  note = {Source identifier: math/0005029}
}