Succinct progress measures for solving parity games.

Marcin Jurdzinski, Ranko Lazic

Browse the full LICS paper archive.