Source coding theorem for an extended Slepian-Wolf system with two interactive decoders

The author considers an extended Slepian-Wolf system which has two decoders although the original Slepian-Wolf System has only one decoder. It is assumed that source outputs are i.i.d. but they are mutually correlated and the decoders communicate with each other via rate-restricted noiseless channels. Using the coding theorem derived the transmission rates of the decoders are examined.