Luisa D'Amore, Aniello Murano, Loredana Sorrentino, Rossella Arcucci, Giuliano Laccetti. Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games. Concurrency - Practice and Experience, 33(4), 2021. [doi]
Abstract is missing.