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