P. Seneviratne Partial permutation decoding for the first-order Reed-Muller codes. 1967-1970 2009 309 Discret. Math. 8 https://doi.org/10.1016/j.disc.2008.03.027 db/journals/dm/dm309.html#Seneviratne09