Jurdzinski, M.; Vöge, J. A Discrete Stratety Improvement Algorithm for Solving Parity Games. BRICS 2000, 7.