The Rate Loss in Binary Source Coding with Decoder Side Information | IEEE Conference Publication | IEEE Xplore