K
[KS02] Antonín Kučera and Jan Strejček. The Stuterring Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL. Technical Report FIMU-RS-2002-03, Faculty of Informatics, Masaryk University, Brno, Czech Republic, July 2002. 
@techreport{fimu-rs-2002-03-KS,
  author =              {Ku{\v c}era, Anton{\'\i}n and Strej{\v c}ek, Jan},
  title =               {The Stuterring Principle Revisited: On the
                         Expressiveness of Nested~{X} and~{U} Operators in
                         the Logic {LTL}},
  number =              {FIMU-RS-2002-03},
  year =                {2002},
  month =               jul,
  institution =         {Faculty of Informatics, Masaryk University, Brno,
                         Czech Republic},
  type =                {Technical Report},
}
List of authors