@unpublished{highlights25,
  author    = {Massimo Benerecetti and Della Monica, Dario
               and Angelo Matteo and Fabio Mogavero
	       and Gabriele Puppis},
  title     = {Towards Automaton-Based Characterisations
               of FO over Trees},
  note = "Highlights of Logic, Games and Automata
          (Highlights)",
  year = "2025"
}