TY  - RPRT
TI  - Definability lattice for addition of rationals
AU  - A. L. Semenov
AU  - S. F. Soprunov
PY  - 2019
UR  - https://arxiv.org/abs/1507.03746
ID  - 1507.03746
ER  -