Faster Solutions of Rabin and Streett Games.

Nir Piterman, Amir Pnueli

Browse the full LICS paper archive.