Lyndon words formalized in Isabelle/HOL
scientific article; zbMATH DE number 7498728
scientific article