Improving parity games in practice
scientific article; zbMATH DE number 7377237
scientific article