@string{ic="Information and Computation"} @Article{HKP15, author = {M. Huth and J.H. Kuo and N. Piterman}, title = {The Rabin Index of Parity Games: Its Complexity and Approximation}, journal = ic, year = {2015}, OPTvolume = {}, OPTnumber = {}, OPTpdf = {}, keywords = {Games}, }