On formulas for decoding binary cyclic codes | IEEE Conference Publication | IEEE Xplore