Linear tail-biting trellises, the square-root bound, and applications for Reed-Muller codes

From MaRDI portal