Enviar aquest missatge de text: Quantifier elimination for counting extensions of Presburger arithmetic