TY - RPRT TI - Graph Operations on Parity Games and Polynomial-Time Algorithms AU - Christoph Dittmann AU - Stephan Kreutzer AU - Alexandru I. Tomescu PY - 2012 UR - https://arxiv.org/abs/1208.1640 ID - 1208.1640 ER -