On Presburger Arithmetic Extended with Modulo Counting Quantifiers.

Peter Habermehl, Dietrich Kuske

Browse the full FOSSACS paper archive.