Joachim Klein Christel Baier On-the-Fly Stuttering in the Construction of Deterministic <i>omega</i> -Automata. 51-61 2007 conf/wia/2007 CIAA http://dx.doi.org/10.1007/978-3-540-76336-9_7 db/conf/wia/ciaa2007.html#KleinB07