@misc{indiciae79d5a5907b31,
  title = {Small witnesses, accepting lassos and winning strategies in omega-automata and games},
  author = {Ruediger Ehlers},
  year = {2011},
  url = {https://arxiv.org/abs/1108.0315},
  note = {Source identifier: 1108.0315}
}