TY  - JOUR
AU  - Cluckers, Raf
AU  - Halupczok, Immanuel
TI  - Quantifier elimination in ordered abelian groups

JO  - Confluentes Mathematici
PY  - 2011
SP  - 587
EP  - 615
VL  - 3
IS  - 4
PB  - World Scientific Publishing Co Pte Ltd
UR  - http://archive.numdam.org/articles/10.1142/S1793744211000473/
DO  - 10.1142/S1793744211000473
LA  - en
ID  - CML_2011__3_4_587_0
ER  -