Termination of Cycle Rewriting by Transformation and Matrix Interpretation (Logical Methods in Computer Science, 2017)