Inductive synthesis of functional programs: An explanation based generalization approach (0)

by E Kitzelmann, U Schmid
Venue:Journal of Machine Learning Research