TY  - RPRT
TI  - Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
AU  - Shibashis Guha
AU  - Amaldev Manuel
AU  - S P Rishal
PY  - 2026
UR  - https://arxiv.org/abs/2605.09077
ID  - 2605.09077
ER  -