Yao Liu, Zhenhua Duan, Cong Tian. An Improved Recursive Algorithm for Parity Games. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. pages 154-161, IEEE, 2014. [doi]
Abstract is missing.