BibTex format
@article{D'Amore:2021:10.1002/cpe.6043,
author = {D'Amore, L and Murano, A and Sorrentino, L and Arcucci, R and Laccetti, G},
doi = {10.1002/cpe.6043},
journal = {CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE},
title = {Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games},
url = {http://dx.doi.org/10.1002/cpe.6043},
volume = {33},
year = {2021}
}