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