On the Hybrid Extension of CTL and CTL+

Ahmet Kara Martin Lange Thomas Schwentick Volker Weber On the Hybrid Extension of CTL and CTL+ http://arxiv.org/abs/0906.2541 2009 CoRR abs/0906.2541 db/journals/corr/corr0906.html#abs-0906-2541 informal publication