Inductive Synthesis of Recursive Functional Programs. - Martin Hofmann 008; Andreas Hirschberger; Emanuel Kitzelmann; Ute Schmid (KI, 2007)