Christof Löding, Anton Pirogov: Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp. ICALP 2019: 120:1-120:13