TY  - RPRT
TI  - Lattice of relational algebras definable in integers with successor
AU  - A. L. Semenov
AU  - S. F. Soprunov
PY  - 2019
UR  - https://arxiv.org/abs/1201.4439
ID  - 1201.4439
ER  -