An Improved Recursive Algorithm for Parity Games.

Yao Liu, Zhenhua Duan, Cong Tian

Browse the full TASE paper archive.