========================================================
The given Problem was:
c b a b a -> a b a b a b c b c 
========================================================
A self-embedding rewrite structure for the given SRS is:
   c b a b a b a b a b a b a --(4)-> a b a b a b c b a b a b a b a b a b a b c b c b a b c b c (#6)
   OC+OC at 8
      OC: c b a b a --(1)-> a b a b a b c b c (#1)
          Rule
      OC: c b a b a b a b a --(3)-> a b a b a b a b a b a b c b c b a b c b c (#4)
          OC+OC at 6
             OC: c b a b a b a b a --(2)-> a b a b a b c b a b a b a b c b c (#2)
                 OC+OC at 8
                    OC: c b a b a --(1)-> a b a b a b c b c (#1)
                        Rule
                    OC: c b a b a --(1)-> a b a b a b c b c (#1)
                        Rule
             OC: c b a b a --(1)-> a b a b a b c b c (#1)
                 Rule
Hence, the SRS is non-terminating.