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