TY  - RPRT
TI  - The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
AU  - Felix Canavoi
AU  - Erich Grädel
AU  - Roman Rabinovich
PY  - 2012
DO  - 10.4204/eptcs.96.15
UR  - https://arxiv.org/abs/1210.2459
ID  - 1210.2459
ER  -