@misc{indiciaec2de81d95813,
  title = {Temporal Logics with Language Parameters},
  author = {Jens Oliver Gutsfeld and Markus Müller-Olm and Christian Dielitz},
  year = {2019},
  url = {https://arxiv.org/abs/1910.11594},
  note = {Source identifier: 1910.11594}
}