TY  - JOUR
AU  - A. L. Semenov
AU  - S. F. Soprunov
TI  - Lattice of definability (of reducts) for integers with successor
JO  - Izvestiya. Mathematics 
PY  - 2021
SP  - 1257
EP  - 1269
VL  - 85
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_2021_85_6_a7/
LA  - en
ID  - IM2_2021_85_6_a7
ER  -