@misc{indiciae6bcded51bab4, title = {One-dimensional fragment of first-order logic}, author = {Lauri Hella and Antti Kuusisto}, year = {2014}, url = {https://arxiv.org/abs/1404.4004}, note = {Source identifier: 1404.4004} }