A purely model-theoretic proof of the exponential succinctness gap between CTL<sup>+</sup> and CTL.

Martin Lange A purely model-theoretic proof of the exponential succinctness gap between CTL<sup>+</sup> and CTL. 308-312 2008 108 Inf. Process. Lett. 5 http://dx.doi.org/10.1016/j.ipl.2008.06.003 db/journals/ipl/ipl108.html#Lange08