@misc{indiciaec7a3e3b20c42,
  title = {Constructing Conditional Plans by a Theorem-Prover},
  author = {J. Rintanen},
  year = {2011},
  doi = {10.1613/jair.591},
  url = {https://arxiv.org/abs/1105.5465},
  note = {Source identifier: 1105.5465}
}