@article{BDMMP25,
  author = {Massimo Benerecetti and
            Dario Della Monica and
            Angelo Matteo and
            Fabio Mogavero and
            Gabriele Puppis},
  title = {An Automaton-based Characterisation of First-Order Logic over Infinite Trees},
  series = {Electronic Proceedings in Theoretical Computer Science}
  publisher = {Open Publishing Association}
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2509.14090},
  doi          = {10.48550/ARXIV.2509.14090},
}