TY  - RPRT
TI  - Computational Arithmetic Geometry I: Sentences Nearly in the Polynomial Hierarchy
AU  - J. Maurice Rojas
PY  - 2001
UR  - https://arxiv.org/abs/math/0005029
ID  - math/0005029
ER  -