Aceto, Luca, Willem Jan Fokkink, and Anna Ingólfsdóttir. 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.