Inductive Synthesis of Functional Programs Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning - Schmid, Ute; Schmid, Ute (Springer Berlin Heidelberg : Imprint: Springer, 2003)