TY  - RPRT
TI  - Presburger arithmetic with threshold counting quantifiers is easy
AU  - Dmitry Chistikov
AU  - Christoph Haase
AU  - Alessio Mansutti
PY  - 2021
UR  - https://arxiv.org/abs/2103.05087
ID  - 2103.05087
ER  -