@misc{indiciaeb070f52f7bde,
  title = {Nesting negations in FO2 over infinite words},
  author = {Viktor Henriksson and Manfred Kufleitner},
  year = {2020},
  url = {https://arxiv.org/abs/2012.01309},
  note = {Source identifier: 2012.01309}
}