@article{Kitzelmann06,
title = {Inductive Synthesis of Functional Programs --
{A}n Explanation Based Generalization Approach},
author = {Emanuel Kitzelmann and Ute Schmid},
journal = {Journal of Machine Learning Research},
number = {Feb},
pages = {429-454},
volume = {7},
year = {2006},
keywords = {imported }
}
::