@misc{indiciaedb152357d34f,
  title = {From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata},
  author = {Simon Jantsch and David Müller and Christel Baier and Joachim Klein},
  year = {2019},
  url = {https://arxiv.org/abs/1907.02887},
  note = {Source identifier: 1907.02887}
}