On the Hybrid Extension of CTL and CTL<sup>+</sup>.

Ahmet Kara Volker Weber Martin Lange Thomas Schwentick On the Hybrid Extension of CTL and CTL<sup>+</sup>. 427-438 2009 MFCS http://dx.doi.org/10.1007/978-3-642-03816-7_37 conf/mfcs/2009 db/conf/mfcs/mfcs2009.html#KaraWLS09