An Optimality Proof of the Iterative Algorithm for AIFV-m Codes | IEEE Conference Publication | IEEE Xplore