Lower bounds on the state complexity of linear tail-biting trellises | IEEE Journals & Magazine | IEEE Xplore