TY  - RPRT
TI  - Presburger arithmetic, rational generating functions, and quasi-polynomials
AU  - Kevin Woods
PY  - 2015
DO  - 10.1017/jsl.2015.4
UR  - https://arxiv.org/abs/1211.0020
ID  - 1211.0020
ER  -