TY  - RPRT
TI  - An Automaton-based Characterisation of First-Order Logic over Infinite Trees
AU  - Massimo Benerecetti
AU  - Dario Della Monica
AU  - Angelo Matteo
AU  - Fabio Mogavero
AU  - Gabriele Puppis
PY  - 2025
DO  - 10.4204/eptcs.428.5
UR  - https://arxiv.org/abs/2509.14090
ID  - 2509.14090
ER  -