@misc{indiciae0915574ec447,
  title = {A model-theoretic characterization of monadic second order logic on infinite words},
  author = {Silvio Ghilardi and Samuel J. van Gool},
  year = {2016},
  url = {https://arxiv.org/abs/1503.08936},
  note = {Source identifier: 1503.08936}
}