@inproceedings{DBLP:conf/sofsem/GazdaW16,
    Author = {Gazda, Maciej and Willemse, Tim A. C.},
    BookTitle = {{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},
    File = {On Parity Game Preorders and the Logic of Matching Plays - Gazda, Willemse (0) (0) - a - a - y.pdf},
    Pages = {277--289},
    Title = {On Parity Game Preorders and the Logic of Matching Plays},
    URL = {http://dx.doi.org/10.1007/978-3-662-49192-8\_23},
    Year = {2016},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-49192-8\_23},
    bibsource = {dblp computer science bibliography, http://dblp.org},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/sofsem/GazdaW16},
    date-added = {2016-03-26 13:22:31 +0000},
    date-modified = {2016-03-26 13:22:31 +0000},
    timestamp = {Thu, 14 Jan 2016 15:37:35 +0100},
    doi = {10.1007/978-3-662-49192-8_23}
}

@inproceedings{DBLP:conf/sofsem/GazdaW16, Author = {Gazda, Maciej and Willemse, Tim A. C.}, BookTitle = {{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}, File = {On Parity Game Preorders and the Logic of Matching Plays - Gazda, Willemse (0) (0) - a - a - y.pdf}, Pages = {277--289}, Title = {On Parity Game Preorders and the Logic of Matching Plays}, URL = {http://dx.doi.org/10.1007/978-3-662-49192-8_23}, Year = {2016}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-49192-8_23}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/sofsem/GazdaW16}, date-added = {2016-03-26 13:22:31 +0000}, date-modified = {2016-03-26 13:22:31 +0000}, timestamp = {Thu, 14 Jan 2016 15:37:35 +0100}, doi = {10.1007/978-3-662-49192-8_23} }