@misc{indiciaeb3f2d2eb0d06, title = {Winning Cores in Parity Games}, author = {Steen Vester}, year = {2016}, url = {https://arxiv.org/abs/1602.01963}, note = {Source identifier: 1602.01963} }