%0 Journal Article %1 DevilleLa94 %A Deville, Yves %A Lau, Kung-Kiu %D 1994 %J Journal of Logic Programming %K deductive_program_synthesis ilp inductive_programming program_synthesis survey %T Logic Program Synthesis

@article{DevilleLa94, added-at = {2008-12-30T18:36:23.000+0100}, author = {Deville, Yves and Lau, Kung-Kiu}, biburl = {https://www.bibsonomy.org/bibtex/2573be95607ea523e90068f0211353a80/emanuel}, interhash = {1b64a5ce2fb94e88061caae3a7a2828d}, intrahash = {573be95607ea523e90068f0211353a80}, journal = {Journal of Logic Programming}, keywords = {deductive_program_synthesis ilp inductive_programming program_synthesis survey}, timestamp = {2008-12-30T18:36:23.000+0100}, title = {Logic Program Synthesis}, year = 1994 }