Srivastava, S.; Immerman, N.; Zilberstein, S. Computing Applicability Conditions for Plans With Loops. ICAPS 2021, 20, 161-168.