@misc{indiciae29d46d9768cf,
  title = {LTL to Smaller Self-Loop Alternating Automata and Back},
  author = {František Blahoudek and Juraj Major and Jan Strejček},
  year = {2019},
  url = {https://arxiv.org/abs/1908.04645},
  note = {Source identifier: 1908.04645}
}