Winning Regions of Pushdown Parity Games: A Saturation Method.

Matthew Hague, C.-H. Luke Ong

Browse the full CONCUR paper archive.