Title: Closure under stuttering in temporal formulas
First published: 1999