Pawel Parys
Parity Games: Another View on Lehtinen's Algorithm
CSL, 2020.
@inproceedings{CSL-2020-Parys, author = "Pawel Parys", booktitle = "{Proceedings of the 28th EACSL Annual Conference on Computer Science Logic}", doi = "10.4230/LIPIcs.CSL.2020.32", isbn = "978-3-95977-132-0", pages = "15", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{Parity Games: Another View on Lehtinen's Algorithm}", year = 2020, }