@article{CML_2011__3_4_587_0,
     author = {Raf Cluckers and Immanuel Halupczok},
     title = {Quantifier elimination in ordered abelian groups
},
     journal = {Confluentes Mathematici},
     pages = {587--615},
     publisher = {World Scientific Publishing Co Pte Ltd},
     volume = {3},
     number = {4},
     year = {2011},
     doi = {10.1142/S1793744211000473},
     language = {en},
     url = {https://cml.centre-mersenne.org/articles/10.1142/S1793744211000473/}
}