Aceto, L., Fokkink, W., & Ingólfsdóttir, A. (1996). On a Question of Arto Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based. BRICS Report Series, 3(36). https://doi.org/10.7146/brics.v3i36.20018