%0 Journal Article
%A Cluckers, Raf
%A Halupczok, Immanuel
%T Quantifier elimination in ordered abelian groups

%J Confluentes Mathematici
%D 2011
%P 587-615
%V 3
%N 4
%I World Scientific Publishing Co Pte Ltd
%U http://archive.numdam.org/articles/10.1142/S1793744211000473/
%R 10.1142/S1793744211000473
%G en
%F CML_2011__3_4_587_0