Sven Schewe. Solving parity games in big steps. J. Comput. Syst. Sci., 84:243-262, 2017. [doi]
@article{Schewe17, title = {Solving parity games in big steps}, author = {Sven Schewe}, year = {2017}, doi = {10.1016/j.jcss.2016.10.002}, url = {http://dx.doi.org/10.1016/j.jcss.2016.10.002}, researchr = {https://researchr.org/publication/Schewe17}, cites = {0}, citedby = {0}, journal = {J. Comput. Syst. Sci.}, volume = {84}, pages = {243-262}, }