TY  - RPRT
TI  - An Algebraic Characterisation of First-Order Logic with Neighbour
AU  - Amaldev Manuel
AU  - Dhruv Nevatia
PY  - 2021
UR  - https://arxiv.org/abs/2105.09368
ID  - 2105.09368
ER  -