@misc{indiciae161739b249e8,
  title = {A Temporal Module for Logical Frameworks},
  author = {Valentina Pitoni and Stefania Costantini},
  year = {2019},
  doi = {10.4204/eptcs.306.40},
  url = {https://arxiv.org/abs/1909.08256},
  note = {Source identifier: 1909.08256}
}