@article{tcs20,
  title = "Beyond {$\omega$}-regular languages:
           {$\omega T$}-regular expressions and
           their automata and logic counterparts",
  journal = "Theoretical Computer Science",
  volume = "813",
  pages = "270--304",
  year = "2020",
  issn = "0304-3975",
  doi = "10.1016/j.tcs.2019.12.029",
  author = "David Barozzini and de Frutos-Escrig,
            David and Della Monica, Dario and
            Angelo Montanari and Pietro Sala"
}