Two results on interactive lossless source encoding and decoding with side information at the decoder | IEEE Conference Publication | IEEE Xplore