On the redundancy of trellis lossy source coding | IEEE Journals & Magazine | IEEE Xplore