@inproceedings{Kitzelmann05a,
title = {An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs},
author = {Emanuel Kitzelmann and Ute Schmid},
booktitle = {Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming},
pages = {15--27},
url = {http://www.cogsys.wiai.uni-bamberg.de/aaip05/proceedings/aaip05_ifps.pdf},
year = {2005},
location = {Bonn, Germany},
keywords = {2005 automatic_programming ebg functional_programming igor1 induction inductive inductive_functional_programming inductive_inference inductive_learning inductive_program_synthesis inductive_programming inproceedings machine_learning myown programming recursive_program_schemes }
}
::