TY  - RPRT
TI  - Solving Parity Games on Integer Vectors
AU  - Parosh Aziz Abdulla
AU  - Richard Mayr
AU  - Arnaud Sangnier
AU  - Jeremy Sproston
PY  - 2013
UR  - https://arxiv.org/abs/1306.2806
ID  - 1306.2806
ER  -