TY  - JOUR
AU  - Choffrut, Christian
AU  - Frigeri, Achille
TI  - Deciding whether the ordering is necessary in a Presburger formula
JO  - Discrete mathematics & theoretical computer science
PY  - 2010
VL  - 12
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.510/
DO  - 10.46298/dmtcs.510
LA  - en
ID  - DMTCS_2010_12_1_a6
ER  -