Maciej Gazda, Tim A. C. Willemse. On Parity Game Preorders and the Logic of Matching Plays. In Rusins Martins Freivalds, Gregor Engels, Barbara Catania, editors, SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. Volume 9587 of Lecture Notes in Computer Science, pages 277-289, Springer, 2016. [doi]
Abstract is missing.