(1)
Aceto, L.; Fokkink, W.; Ingólfsdóttir, A. On a Question of Arto Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet Is Not Finitely Based. BRICS 1996, 3.