Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning - Schmid, U. (Lecture notes in computer science, 2003)