Inproceedings (BischofGK03b)
Bischof, H.; Gorlatch, S. & Kitzelmann, E.
Cost Optimality and Predictability of Parallel Programming with Skeletons
Springer-Verlag, 2003, 682-693

Inproceedings (HofmannKS08)
Hofmann, M.; Kitzelmann, E. & Schmid, U.
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework
Springer-Verlag, 2008

Inproceedings (Kitzelmann08ECAI)
Kitzelmann, E.
Data-driven Induction of Functional Programs
IOS Press, 2008

Inproceedings (Kitzelmann08LOPSTR)
Kitzelmann, E.
Analytical Inductive Functional Programming
Springer-Verlag, 2008

Mastersthesis (Kitzelmann03)
Kitzelmann, E.
Inductive Functional Program Synthesis -- a Term-Construction and Folding Approach
Technische Universität Berlin, 2003

Article (KitzelmannS07ENTCS)
Kitzelmann, E. & Schmid, U.
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
Electronic Notes in Theoretical Computer Science, 2007, 174, 49-63

Inproceedings (KitzelmannSMW02AISC)
Kitzelmann, E.; Schmid, U.; Mühlpfordt, M. & Wysotzki, F.
Inductive Synthesis of Functional Programs
Springer-Verlag, 2002, 2385, 337-354

Inproceedings (LapointeM92)
Lapointe, S. & Matwin, S.
Sub-unification: a Tool for Efficient Induction of Recursive Programs
Morgan Kaufmann Publishers Inc., 1992, 273-281

Inproceedings (MarcinkowskiP92)
Marcinkowski, J. & Pacholski, L.
Undecidability of the Horn-clause Implication Problem
IEEE, 1992, 354-362

Article (Mitchell82)
Mitchell, T. M.
Generalization as Search
Artificial Intelligence, 1982, 18, 203-226