Parity Games on Bounded Phase Multi-pushdown Systems. - Atig, Mohamed Faouzi; Bouajjani, Ahmed; Kumar, K. Narayan; Saivasan, Prakash (2017)