TY  - RPRT
TI  - Multi-Dimensional Interpretations of Presburger Arithmetic in Itself
AU  - Fedor Pakhomov
AU  - Alexander Zapryagaev
PY  - 2020
UR  - https://arxiv.org/abs/2004.03404
ID  - 2004.03404
ER  -