Deciding whether the ordering is necessary in a Presburger formula

Cite this paper

@article{Choffrut2010DecidingWT, title={Deciding whether the ordering is necessary in a Presburger formula}, author={Christian Choffrut and Achille Frigeri}, journal={Discrete Mathematics & Theoretical Computer Science}, year={2010}, volume={12}, pages={21-38} }