@misc{indiciae1cc3c1f8cbc8, title = {On the Limits of Decision: the Adjacent Fragment of First-Order Logic}, author = {Bartosz Bednarczyk and Daumantas Kojelis and Ian Pratt-Hartmann}, year = {2023}, url = {https://arxiv.org/abs/2305.03133}, note = {Source identifier: 2305.03133} }