Dimitrie Octavian Păun

• Closure under stuttering in temporal formulas