The following publications are possibly variants of this publication:
- Inductive Synthesis of Functional ProgramsUte Schmid. ki, 17(3):75, 2003. [doi]
- Inductive Synthesis of Recursive Functional ProgramsMartin Hofmann 0008, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid. ki 2007: 468-472 [doi]
- A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional ProgramsEmanuel Kitzelmann. ki, 25(2):179-182, 2011. [doi]
- A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional ProgramsEmanuel Kitzelmann. PhD thesis, Universität Bamberg, 2010.
- Inductive Synthesis of Functional Programs: An Explanation Based Generalization ApproachEmanuel Kitzelmann, Ute Schmid. jmlr, 7:429-454, 2006. [doi]
- Analytical Inductive Functional ProgrammingEmanuel Kitzelmann. LOPSTR 2009: 87-102 [doi]
- Inductive Synthesis of Functional Programs, Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical ReasoningUte Schmid. Volume 2654 of Lecture Notes in Computer Science, Springer, 2003.
- Development of Inductive Synthesis of Functional ProgramsFritz Wysotzki. AAIP 2005: 13 [doi]