@article{10_4153_S0008414X23000342,
     author = {Schaeffer, Luke and Shallit, Jeffrey},
     title = {The first-order theory of binary overlap-free words is decidable},
     journal = {Canadian journal of mathematics},
     pages = {1144--1162},
     year = {2024},
     volume = {76},
     number = {4},
     doi = {10.4153/S0008414X23000342},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/S0008414X23000342/}
}