@misc{indiciae2ef2ae78fc98, title = {Interpretations of Linear Orderings in Presburger Arithmetic}, author = {Alexander Zapryagaev}, year = {2019}, url = {https://arxiv.org/abs/1911.07182}, note = {Source identifier: 1911.07182} }