TY  - JOUR
AU  - Schaeffer, Luke
AU  - Shallit, Jeffrey
TI  - The first-order theory of binary overlap-free words is decidable
JO  - Canadian journal of mathematics
PY  - 2024
SP  - 1144
EP  - 1162
VL  - 76
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.4153/S0008414X23000342/
DO  - 10.4153/S0008414X23000342
ID  - 10_4153_S0008414X23000342
ER  -