 | Kodratoff, Y. |
 |
 | Kodratoff, Y. -- A sane algorithm for the synthesis of LISP functions from example problems - 1978 |
| Jouannaud, J. P. -- Characterization of a class of functions synthesized by a Summers-like method using a B.M.W. matching technique - 1979 |
| Kodratoff, Y. -- A class of functions synthesized from a finite number of examples and a LISP program scheme - 1979 |
| Jouannaud, J. P. -- An automatic construction of LISP programs by transformations of functions synthesized from their input-output behavior - 1980 |
|
