Jim Huan-Pu Kuo. Parity games : descriptive complexity and algorithms for new solvers. PhD thesis, Imperial College London, UK, 2013. [doi]
@phdthesis{ethos-1113, title = {Parity games : descriptive complexity and algorithms for new solvers}, author = {Jim Huan-Pu Kuo}, year = {2013}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.579121}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-1113}, cites = {0}, citedby = {0}, school = {Imperial College London, UK}, }