Aceto, L., Fokkink, W. and 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). doi: 10.7146/brics.v3i36.20018.