"Inductive Synthesis of Recursive Functional Programs (Poster Abstract)."

Bjarte M. Østvold (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics