David Sabel, Hans Zantema: Termination of Cycle Rewriting by Transformation and Matrix Interpretation. Log. Methods Comput. Sci. 13(1) (2017)