@unpublished{ictcs21,
  title = "Extended omega-Regular Languages
           and Interval Temporal Logic",
  author = "Della Monica, Dario and
            Angelo Montanari and
            Pietro Sala",
  note = "22nd Italian Conference on Theoretical
            Computer Science (ICTCS)",
  year = "2021"
}