Two local strategy iteration schemes for parity game solving
scientific article; zbMATH DE number 6073964