On Promptness in Parity Games*†

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2015-1235