1
A discrete strategy improvement algorithm for solving parity games /
Book