@misc{indiciaefff6b5f0b999,
  title = {The First-Order Theory of Binary Overlap-Free Words is Decidable},
  author = {L. Schaeffer and J. Shallit},
  year = {2022},
  url = {https://arxiv.org/abs/2209.03266},
  note = {Source identifier: 2209.03266}
}