TY  - RPRT
TI  - Constructing Conditional Plans by a Theorem-Prover
AU  - J. Rintanen
PY  - 2011
DO  - 10.1613/jair.591
UR  - https://arxiv.org/abs/1105.5465
ID  - 1105.5465
ER  -