TY  - RPRT
TI  - On the Limits of Decision: the Adjacent Fragment of First-Order Logic
AU  - Bartosz Bednarczyk
AU  - Daumantas Kojelis
AU  - Ian Pratt-Hartmann
PY  - 2023
UR  - https://arxiv.org/abs/2305.03133
ID  - 2305.03133
ER  -