Amtoft, T. 1992. Unfold/fold Transformations Preserving Termination Properties. DAIMI Report Series. 21, 410 (Aug. 1992). DOI:https://doi.org/10.7146/dpb.v21i410.6723.