W94-0302 causally and decompositionally , a sound planning algorithm must consider two factors
hide detail