On Parity Game Preorders and the Logic of Matching Plays.

Maciej Gazda, Tim A. C. Willemse

Browse the full SOFSEM paper archive.