TY  - RPRT
TI  - One-Variable Logic Meets Presburger Arithmetic
AU  - Bartosz Bednarczyk
PY  - 2019
UR  - https://arxiv.org/abs/1810.10899
ID  - 1810.10899
ER  -