TY  - RPRT
TI  - Winning Cores in Parity Games
AU  - Steen Vester
PY  - 2016
UR  - https://arxiv.org/abs/1602.01963
ID  - 1602.01963
ER  -