@misc{indiciaec557cae94e98,
  title = {An Automaton-based Characterisation of First-Order Logic over Infinite Trees},
  author = {Massimo Benerecetti and Dario Della Monica and Angelo Matteo and Fabio Mogavero and Gabriele Puppis},
  year = {2025},
  doi = {10.4204/eptcs.428.5},
  url = {https://arxiv.org/abs/2509.14090},
  note = {Source identifier: 2509.14090}
}