An Automaton-based Characterisation of First-Order Logic over Infinite Trees. - Massimo Benerecetti; Dario Della Monica; Angelo Matteo; Fabio Mogavero; Gabriele Puppis (CoRR, 2025)