Computing Applicability Conditions for Plans with Loops

The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representation. However, prog