Quantifier elimination for counting extensions of Presburger arithmetic | Publicación