@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},
	biburl = {http://www.bibsonomy.org/bibtex/233baefe4d9d0bc4d9ebb09d64428a99e/mh},
	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 }
}