@article{dmtcs:510,
    title      = {Deciding whether the ordering is necessary in a Presburger formula},
    author     = {Christian Choffrut and Achille Frigeri},
    url        = {https://dmtcs.episciences.org/510},
    doi        = {10.46298/dmtcs.510},
    journal    = {Discrete Mathematics \& Theoretical Computer Science},
    issn       = {1365-8050},
    volume     = {Vol. 12 no. 1},
    issuetitle = {Automata, Logic and Semantics},
    eid        = 1,
    year       = {2010},
    month      = {Jan},
    keywords   = {Presburger arithmetics, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]},
    language   = {English},
}