Recursive algorithm for parity games requires exponential timeOliver FriedmannRAIRO-Theor. Inf. Appl., 45 4 (2011) 449-457DOI: https://doi.org/10.1051/ita/2011124
