@article{Friedmann_2011,
    doi = {10.1051/ita/2011124},
    url = {https://doi.org/10.1051%2Fita%2F2011124},
    year = {2011},
    month = {nov},
    publisher = {{EDP} Sciences},
    volume = {45},
    number = {4},
    pages = {449--457},
    author = {Oliver Friedmann},
    title = {Recursive algorithm for parity games requires exponential time},
    journal = {{RAIRO} - Theoretical Informatics and Applications}
}

@article{Friedmann_2011, doi = {10.1051/ita/2011124}, url = {https://doi.org/10.1051%2Fita%2F2011124}, year = {2011}, month = {nov}, publisher = {{EDP} Sciences}, volume = {45}, number = {4}, pages = {449--457}, author = {Oliver Friedmann}, title = {Recursive algorithm for parity games requires exponential time}, journal = {{RAIRO} - Theoretical Informatics and Applications} }