S. Srivastava, N. Immerman, and S. Zilberstein, “Computing Applicability Conditions for Plans with Loops”, ICAPS, vol. 20, no. 1, pp. 161-168, May 2021.