Tight upper bounds on the redundancy of optimal binary AIFV codes | IEEE Conference Publication | IEEE Xplore