=Paper=
{{Paper
|id=Vol-3585/paper10_RCRA6
|storemode=property
|title=Planning as Theorem Proving with Heuristics
|pdfUrl=https://ceur-ws.org/Vol-3585/paper10_RCRA6.pdf
|volume=Vol-3585
|authors=Mikhail Soutchanski,Ryan Young
}}
==Planning as Theorem Proving with Heuristics==
None