An upper bound on the effective error coefficient of two-stage decoding, and good two-level decompositions of some Reed-Muller codes | IEEE Journals & Magazine | IEEE Xplore