Error-correcting codes for rank modulation | IEEE Conference Publication | IEEE Xplore