Deciding context equivalence of binary overlap-free words in linear time

From MaRDI portal
Publication:444679