Kraft Inequality and Zero-Error Source Coding with Decoder Side Information | IEEE Conference Publication | IEEE Xplore