[1]
M. Jurdzinski and J. Vöge, “A Discrete Stratety Improvement Algorithm for Solving Parity Games”, BRICS, vol. 7, no. 48, Jun. 2000.