@article{CML_2011__3_4_587_0,
     author = {Cluckers, Raf and Halupczok, Immanuel},
     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 = {http://archive.numdam.org/articles/10.1142/S1793744211000473/}
}