The equivalence problem for regular expressions with squaring requires exponential space (1972)

by A Meyer, L Stockmeyer
Venue:In Proceedings of the 13th IEEE Symposium on Switching and Automata Theory