The equivalence problem for regular expressions with squaring requires exponential time," in (1972)

by Albert R Meyer, Larry Stockmeyer
Venue:Proc. 13th IEEE Symp. on Switching and Automata Theory