JURDZINSKI, M.; VÖGE, J. A Discrete Stratety Improvement Algorithm for Solving Parity Games. BRICS Report Series, [S. l.], v. 7, n. 48, 2000. DOI: 10.7146/brics.v7i48.20215. Disponível em: https://tidsskrift.dk/brics/article/view/20215. Acesso em: 18 dec. 2024.