Formalizing a fragment of combinatorics on words
scientific article; zbMATH DE number 6756745
scientific article