%0 Journal Article
%A Schaeffer, Luke
%A Shallit, Jeffrey
%T The first-order theory of binary overlap-free words is decidable
%J Canadian journal of mathematics
%D 2024
%P 1144-1162
%V 76
%N 4
%U http://geodesic.mathdoc.fr/articles/10.4153/S0008414X23000342/
%R 10.4153/S0008414X23000342
%F 10_4153_S0008414X23000342