The equivalence problem for regular expressions with squaring requires exponential space | IEEE Conference Publication | IEEE Xplore