@article{7:15,author={Emanuel Kitzelmann and Ute Schmid}, Title={Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach (Special Topic on Inductive Programming)},journal={Journal of Machine Learning Research},volume={7}, url={http://www.jmlr.org/papers/volume7/kitzelmann06a/kitzelmann06a.pdf}}