Logic isn't the problem

framework, both the QA3 system of Green (1969) and the PROW system of Waldinger and Lee (1969) do better at planning problems. These systems always produce a single, perhaps conditional answer, instead of the disjunction produced by the Luckham-Nilsson procedure or the earlier DEDUCOM system of Slagle (1965). Alas, merely obtaining a single answer does not guarantee that we have constructed a workable plan. From certain proofs of the existence of a plan to disarm the bomb, QA3 or PROW can extract the single conditional plan