@inproceedings{HofmannHKS07,
title = {Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems},
author = {Martin Hofmann and Andreas Hirschberger and Emanuel Kitzelmann and Ute Schmid},
booktitle = {KI 2007: Advances in Artificial Intelligence},
pages = {468--472},
publisher = {Springer-Verlag},
series = {LNCS},
url = {http://dx.doi.org/10.1007/978-3-540-74565-5_42},
volume = {4667},
year = {2007},
description = {a comparison of the ILP systems DIALOGS II and ATRE and the IFP system ADATE from an inductive programming viewpoint},
pdf = {http://www.cogsys.wiai.uni-bamberg.de/publications/ki07_short.pdf},
keywords = {adate atre comparison dialogs experiment ifp ilp induction inductive_programming inproceedings program_synthesis }
}
::