José Lucas Rangel. The Equivalence Problem for Regular Expressions over one Letter Is Elementary. In 15th Annual Symposium on Switching and Automata Theory, 14-16 October 1974, The University of New Orleans, USA. pages 24-27, IEEE, 1974.
Abstract is missing.