Equivalence between model-checking flat counter systems and Presburger arithmetic. - Demri, Stéphane; Dhar, Amit Kumar; Sangnier, Arnaud (Theoretical Computer Science, 2018)