@unpublished{ictcs25,
  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
	       (short paper)},
  note = "26th Italian Conference on Theoretical Computer
          Science (ICTCS)",
  year = "2025"
}