TY  - RPRT
TI  - Algebraic geometry in First Order Logic
AU  - B. Plotkin
PY  - 2003
UR  - https://arxiv.org/abs/math/0312485
ID  - math/0312485
ER  -