View of Constructing Conditional Plans by a Theorem-Prover | Journal of Artificial Intelligence Research