1995. On the detection of some loops in recursive computations. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 87, (Dec. 1995), 203–222.