TY  - RPRT
TI  - Quantifier elimination in ordered abelian groups
AU  - Raf Cluckers
AU  - Immanuel Halupczok
PY  - 2011
DO  - 10.1142/s1793744211000473
UR  - https://arxiv.org/abs/1110.3200
ID  - 1110.3200
ER  -