Progress measures for complementation ω-automata with applications to temporal logicNils Klarlund1991FOCS 1991