TY  - RPRT
TI  - Automaton-based Characterisations of First Order Logic over Infinite Trees
AU  - Massimo Benerecetti
AU  - Dario Della Monica
AU  - Angelo Matteo
AU  - Fabio Mogavero
AU  - Gabriele Puppis
PY  - 2026
UR  - https://arxiv.org/abs/2604.26364
ID  - 2604.26364
ER  -