Skordev, D. On the Detection of Some Loops in Recursive Computations. Ann. Sofia Univ. Fac. Math. and Inf. 1995, 87, 203-222.