S. Srivastava, N. Immerman, and S. Zilberstein, “Termination and Correctness Analysis of Cyclic Control”, AAAI, vol. 25, no. 1, pp. 1567-1570, Aug. 2011.