BibTex format
@inproceedings{Arcucci:2017:10.1016/j.procs.2017.05.120,
author = {Arcucci, R and Marotta, U and Murano, A and Sorrentino, L},
doi = {10.1016/j.procs.2017.05.120},
pages = {525--534},
publisher = {ELSEVIER SCIENCE BV},
title = {Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm},
url = {http://dx.doi.org/10.1016/j.procs.2017.05.120},
year = {2017}
}