%0 Book Section %1 Idestam-Almquist96 %A Idestam-Almquist, Peter %B Advances in Inductive Logic Programming %D 1996 %E Raedt, Luc De %I IOS Press %K analytical_ip ilp inductive_programming ip-system program_synthesis recursion tim %T Efficient Induction of Recursive Definitions by Structural Analysis of Saturations

@incollection{Idestam-Almquist96, added-at = {2008-12-30T14:43:07.000+0100}, author = {Idestam-Almquist, Peter}, biburl = {https://www.bibsonomy.org/bibtex/259893560204b51e0f5c190385b0c57e3/emanuel}, booktitle = {Advances in Inductive Logic Programming}, editor = {Raedt, Luc De}, interhash = {84aad933ab86472cc7d00b728b948247}, intrahash = {59893560204b51e0f5c190385b0c57e3}, keywords = {analytical_ip ilp inductive_programming ip-system program_synthesis recursion tim}, publisher = {IOS Press}, timestamp = {2008-12-30T14:43:07.000+0100}, title = {Efficient Induction of Recursive Definitions by Structural Analysis of Saturations}, year = 1996 }