Search properties of some sequential decoding algorithms | IEEE Journals & Magazine | IEEE Xplore