@misc{indiciaed2d7023b418e,
  title = {Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp},
  author = {Christof Löding and Anton Pirogov},
  year = {2019},
  doi = {10.4230/lipics.icalp.2019.120},
  url = {https://arxiv.org/abs/1902.02139},
  note = {Source identifier: 1902.02139}
}