Quantifier elimination for counting extensions of Presburger arithmetic.

Dmitry Chistikov, Christoph Haase, Alessio Mansutti

Browse the full FOSSACS paper archive.