Summary: The size of minimal trellis representation of linear block codes is addressed. Two general upper bounds on the trellis size, based on the zero-concurring codewords and the contraction index of the subcodes are presented. The related permutations for attaining the bounds are exhibited. These bounds evidently improve the previous published general bound. Additional bounds based on certain code constructions are derived. We focus on the squaring construction and obtain specific constructive bounds for Reed-Muller and repeated-root cyclic codes. In particular, the recursive squaring construction of Reed-Muller codes is explored and the exact minimal trellis size of this design is obtained. Efficient permutations, in the sense of the trellis size, are also demonstrated by using shortening and puncturing methods. The corresponding bounds are specified.