%0 Journal Article
%A Choffrut, Christian
%A Frigeri, Achille
%T Deciding whether the ordering is necessary in a Presburger formula
%J Discrete mathematics & theoretical computer science
%D 2010
%V 12
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.510/
%R 10.46298/dmtcs.510
%G en
%F DMTCS_2010_12_1_a6