W
[Wil99] Thomas Wilke. CTL+ is exponentially more succinct than CTL. In FSTTCS'99, Lecture Notes in Computer Science 1738, pages 110-121. Springer-Verlag, December 1999. 
@inproceedings{fsttcs1999-Wil,
  author =              {Wilke, Thomas},
  title =               {{CTL}{\(^+\)} is exponentially more succinct
                         than~{CTL}},
  editor =              {Rangan, C. Pandu and Raman, Venkatesh and Ramanujam,
                         R.},
  booktitle =           {{P}roceedings of the 19th {C}onference on
                         {F}oundations of {S}oftware {T}echnology and
                         {T}heoretical {C}omputer {S}cience ({FSTTCS}'99)},
  acronym =             {{FSTTCS}'99},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1738},
  pages =               {110-121},
  year =                {1999},
  month =               dec,
}
List of authors