@inproceedings{gandalf25,
  author    = {Massimo Benerecetti and Della Monica, Dario
               and Angelo Matteo and Fabio Mogavero
	       and Gabriele Puppis},
  title     = {An Automaton-based Characterisation of
               First-Order Logic over Infinite Trees},
  booktitle = {Proc. of the 16th International Symposium on Games,
               Automata, Logics and Formal Verification (GandALF)},
  editor    = {Bacci, Giorgio and Francalanza, Adrian},
  series    = {Electronic Proceedings in Theoretical
               Computer Science (EPTCS)},
  volume    = {428},
  publisher = {Open Publishing Association},
  pages     = {45-61},
  doi       = {10.4204/EPTCS.428.5},
  year      = {2025}
}