Return to Article Details On the detection of some loops in recursive computations Download Download PDF