@article{Di_Stasio_2021,
    doi = {10.1007/s10472-020-09721-3},
    url = {https://doi.org/10.1007%2Fs10472-020-09721-3},
    year = {2021},
    month = {jan},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {89},
    number = {5-6},
    pages = {551--574},
    author = {Antonio Di Stasio and Aniello Murano and Vincenzo Prignano and Loredana Sorrentino},
    title = {Improving parity games in practice},
    journal = {Annals of Mathematics and Artificial Intelligence}
}

@article{Di_Stasio_2021, doi = {10.1007/s10472-020-09721-3}, url = {https://doi.org/10.1007%2Fs10472-020-09721-3}, year = {2021}, month = {jan}, publisher = {Springer Science and Business Media {LLC}}, volume = {89}, number = {5-6}, pages = {551--574}, author = {Antonio Di Stasio and Aniello Murano and Vincenzo Prignano and Loredana Sorrentino}, title = {Improving parity games in practice}, journal = {Annals of Mathematics and Artificial Intelligence} }