@inbook{KS2002,
 address = {Berlin, Heidelberg},
 author = {Antonín Kučera
and Jan Strejček},
 booktitle = {Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22--25, 2002 Proceedings},
 doi = {10.1007/3-540-45793-3_19},
 editor = {Bradfield, Julian},
 isbn = {978-3-540-45793-0},
 pages = {276--291},
 publisher = {Springer Berlin Heidelberg},
 title = {{The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL}},
 url = {http://dx.doi.org/10.1007/3-540-45793-3_19},
 year = {2002}
}