Christof Löding, Andreas Tollkötter: State Space Reduction For Parity Automata. CSL 2020: 27:1-27:16