Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning - Schmid, Ute (Verfasser) (Lecture Notes in Computer Science, 2003)