@misc{indiciae14985e89c5fa,
  title = {Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games},
  author = {Wojciech Czerwiński and Laure Daviaud and Nathanaël Fijalkow and Marcin Jurdziński and Ranko Lazić and Paweł Parys},
  year = {2018},
  doi = {10.1137/1.9781611975482.142},
  url = {https://arxiv.org/abs/1807.10546},
  note = {Source identifier: 1807.10546}
}