Solving parity games via priority promotion
scientific article; zbMATH DE number 6859142
scientific article