Srivastava, S., Immerman, N. and Zilberstein, S. (2010) “Computing Applicability Conditions for Plans with Loops”, Proceedings of the International Conference on Automated Planning and Scheduling, 20(1), pp. 161-168. doi: 10.1609/icaps.v20i1.13418.