Alfredo Gabaldon Precondition Control and the Progression Algorithm. 23-32 2004 conf/aips/2004 ICAPS db/conf/aips/icaps2004.html#Gabaldon04