@unpublished{lc24,
  title = "Expressiveness issues in interval
           temporal logics",
  author = "Dario Della Monica and
            Mattia Guiotto",
  note = "Logic Colloquium (LC)",
  year = "2024"
}