Formalizing a Fragment of Combinatorics on Words.

Stepan Holub, Robert Veroff

Browse the full CiE paper archive.