Srivastava, S., Immerman, N., & Zilberstein, S. (2011). Termination and Correctness Analysis of Cyclic Control. Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), 1567-1570. https://doi.org/10.1609/aaai.v25i1.7963