The equivalence problem for regular expressions over one letter is elementary | IEEE Conference Publication | IEEE Xplore