Linear tail-biting trellises, the square-root bound, and applications for Reed-Muller codes | IEEE Journals & Magazine | IEEE Xplore