@misc{indiciae44b729ce4666,
  title = {From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata},
  author = {Javier Esparza and Jan Křetínský and Jean-François Raskin and Salomon Sickert},
  year = {2017},
  doi = {10.1007/978-3-662-54577-5\_25},
  url = {https://arxiv.org/abs/1701.06103},
  note = {Source identifier: 1701.06103}
}