@misc{indiciae3d1800797858,
  title = {Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers},
  author = {Shankara Narayanan Krishna and Khushraj Madnani and Manuel Mazo Jr. and Paritosh K. Pandya},
  year = {2021},
  url = {https://arxiv.org/abs/2105.09534},
  note = {Source identifier: 2105.09534}
}