@article{KS2005,
 article_location = {Berlin},
 article_number = {7/8},
 author = {Antonín Kučera and Jan Strejček},
 issn = {0001-5903},
 journal = {Acta informatica},
 keywords = {linear temporal logic; stuttering},
 language = {eng},
 title = {The stuttering principle revisited},
 volume = {41},
 year = {2005}
}