@misc{indiciaeb8a454cc92e6,
  title = {Timed context-free temporal logics (extended version)},
  author = {Laura Bozzelli and Aniello Murano and Adriano Peron},
  year = {2018},
  url = {https://arxiv.org/abs/1808.04271},
  note = {Source identifier: 1808.04271}
}