Linear-time Minimization of Wheeler DFAs | IEEE Conference Publication | IEEE Xplore