@misc{indiciae1bbbfca9075e,
  title = {On the Hybrid Extension of CTL and CTL+},
  author = {Ahmet Kara and Martin Lange and Thomas Schwentick and Volker Weber},
  year = {2009},
  doi = {10.1007/978-3-642-03816-7\_37},
  url = {https://arxiv.org/abs/0906.2541},
  note = {Source identifier: 0906.2541}
}