Skordev, D. 1995. On the detection of some loops in recursive computations. Ann. Sofia Univ. Fac. Math. and Inf. 87, (Dec. 1995), 203–222.