The following publications are possibly variants of this publication:
- Inductive Synthesis of Functional Programs: An Explanation Based Generalization ApproachEmanuel Kitzelmann, Ute Schmid. jmlr, 7:429-454, 2006. [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 ProgramsEmanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki. AISC 2002: 26-37 [doi]
- 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]