One helper source coding problem for a class of correlated sources with memory

We consider the one helper source coding problem posed and investigated by Ahlswede, Körner, and Wyner for a class of information sources with memory. For this class of information sources we give explicit inner and outer bounds of the admissible rate region. We also give one nontrivial example for the inner and outer bounds to match.