Key points are not available for this paper at this time.
We describe an approach to the inductive synthesis of recursive equations from input/output-examples which is based on the classical two-step approach to induction of functional Lisp programs of Su...
KitzelmannEmanuel et al. (Fri,) studied this question.