Srivastava, S.; Immerman, N.; Zilberstein, S. Termination and Correctness Analysis of Cyclic Control. AAAI 2011, 25, 1567-1570.