Recursive algorithm for parity games requires exponential time Oliver Friedmann RAIRO-Theor. Inf. Appl., 45 4 (2011) 449-457 Published online: 14 November 2011 DOI: 10.1051/ita/2011124