S. Srivastava, S. Zilberstein, A. Gupta, P. Abbeel, and S. Russell, “Tractability of Planning with Loops”, AAAI, vol. 29, no. 1, Mar. 2015.