Solving Parity Games in Scala. - Antonio Di Stasio 001; Aniello Murano; Vincenzo Prignano; Loredana Sorrentino (FACS, 2014)

Improving parity games in practice. - Antonio Di Stasio 001; Aniello Murano; Vincenzo Prignano; Loredana Sorrentino (Ann. Math. Artif. Intell., 2021)