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 Report Series, v. 3, n. 36, 6 Jun. 1996.