TY  - RPRT
TI  - A constructive proof of Tarski's theorem on quantifier elimination in the theory of ACF
AU  - Grzegorz Pastuszak
PY  - 2016
UR  - https://arxiv.org/abs/1607.05505
ID  - 1607.05505
ER  -