এই পাঠটি: Quantifier elimination for counting extensions of Presburger arithmetic