@misc{indiciae8d2102eacd2c,
  title = {A wild model of linear arithmetic and discretely ordered modules},
  author = {Petr Glivický and Pavel Pudlák},
  year = {2017},
  url = {https://arxiv.org/abs/1602.03083},
  note = {Source identifier: 1602.03083}
}