TY  - JOUR
AU  - Raf Cluckers
AU  - Immanuel Halupczok
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  - https://cml.centre-mersenne.org/articles/10.1142/S1793744211000473/
DO  - 10.1142/S1793744211000473
LA  - en
ID  - CML_2011__3_4_587_0
ER  -