Return to Article Details Constructing Conditional Plans by a Theorem-Prover Download Download PDF