Efim B. Kinber. Inductive Synthesis of Programs for Recursive Functions from Sample Computations. Elektronische Informationsverarbeitung und Kybernetik, 25(8/9):435-456, 1989.
@article{Kinber89, title = {Inductive Synthesis of Programs for Recursive Functions from Sample Computations}, author = {Efim B. Kinber}, year = {1989}, researchr = {https://researchr.org/publication/Kinber89}, cites = {0}, citedby = {0}, journal = {Elektronische Informationsverarbeitung und Kybernetik}, volume = {25}, number = {8/9}, pages = {435-456}, }