@article{JMLR:v7:kitzelmann06a,
  author  = {Emanuel Kitzelmann and Ute Schmid},
  title   = {Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach},
  journal = {Journal of Machine Learning Research},
  year    = {2006},
  volume  = {7},
  number  = {15},
  pages   = {429--454},
  url     = {http://jmlr.org/papers/v7/kitzelmann06a.html}
}