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

by A R Meyer, L J Stockmeyer
Venue:In FOCS