Stepan Holub, Robert Veroff. Formalizing a Fragment of Combinatorics on Words. In Jarkko Kari, Florin Manea, Ion Petre, editors, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. Volume 10307 of Lecture Notes in Computer Science, pages 24-31, Springer, 2017. [doi]
Abstract is missing.