@misc{indiciae0e0218b5297f,
  title = {Lattice of relational algebras definable in integers with successor},
  author = {A. L. Semenov and S. F. Soprunov},
  year = {2019},
  url = {https://arxiv.org/abs/1201.4439},
  note = {Source identifier: 1201.4439}
}