Deductive Formation of Recursive Workflows

---

Forth, J. and Waldinger, R. Deductive Formation of Recursive Workflows. Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control (ICAPS GenPlan 2009), Sep 2009.