Emanuel Kitzelmann, Ute Schmid. An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs. In Emanuel Kitzelmann, Roland Olsson, Ute Schmid, editors, Workshop on Approaches and Applications of Inductive Programming, AAIP 2005, to be held in conjunction with the 22nd International Conference on Machine Learning (ICML 2005), Bonn, Germany, August 7, 2005. pages 15-26, 2005. [doi]