TY  - RPRT
TI  - Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds
AU  - Maciej Gazda
AU  - Tim A. C. Willemse
PY  - 2013
DO  - 10.4204/eptcs.119.4
UR  - https://arxiv.org/abs/1307.4465
ID  - 1307.4465
ER  -