Jeremy Frank Paul H. Morris Bounding the Resource Availability of Activities with Linear Resource Impact. 136-143 2007 ICAPS conf/aips/2007 db/conf/aips/icaps2007.html#FrankM07