An Automaton-based Characterisation of First-Order Logic over Infinite Trees | Publicación