"Stubborn Sets for Simple Linear Time Properties."

Andreas Lehmann, Niels Lohmann, Karsten Wolf (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics