TY  - RPRT
TI  - Termination of Cycle Rewriting by Transformation and Matrix Interpretation
AU  - David Sabel
AU  - Hans Zantema
PY  - 2017
DO  - 10.23638/lmcs-13(1:11)2017
UR  - https://arxiv.org/abs/1609.07065
ID  - 1609.07065
ER  -