@misc{indiciaee5d9d75b294d,
  title = {Backward deterministic and weak alternating \$ω\$-automata},
  author = {Sebastian Preugschat and Thomas Wilke},
  year = {2017},
  url = {https://arxiv.org/abs/1701.01971},
  note = {Source identifier: 1701.01971}
}