@misc{indiciae6fc4b077fa36,
  title = {Undecidability of a weak version of MSO+U},
  author = {Mikołaj Bojańczyk and Laure Daviaud and Bruno Guillon and Vincent Penelle and A. V. Sreejith},
  year = {2020},
  doi = {10.23638/lmcs-16(1:12)2020},
  url = {https://arxiv.org/abs/1807.08506},
  note = {Source identifier: 1807.08506}
}