TY  - RPRT
TI  - On Interpretations in Büchi Arithmetics
AU  - Alexnader Zapryagaev
PY  - 2022
UR  - https://arxiv.org/abs/2211.16392
ID  - 2211.16392
ER  -