@unpublished{overlay26,
  title = "A note on the fragment of modal mu-calculus
           equivalent to First Order Logic over
           infinite trees",
  author = "Benerecetti, M. and Della Monica, D. and
            Matteo, A. and Mogavero, F. and
            Puppis, G.",
  note = "8th Workshop on Artificial Intelligence and
          fOrmal VERification, Logic, Automata, and
	  sYnthesis (OVERLAY)",
  year = "2026"
}