An Algebraic Characterisation of First-Order Logic with Neighbour.

Amaldev Manuel, Dhruv Nevatia

Browse the full LICS paper archive.