TY  - RPRT
TI  - On the Satisfiability of Local First-Order Logics with Data
AU  - Benedikt Bollig
AU  - Arnaud Sangnier
AU  - Olivier Stietel
PY  - 2024
DO  - 10.46298/lmcs-20(3:1)2024
UR  - https://arxiv.org/abs/2307.00831
ID  - 2307.00831
ER  -