A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The ``Boyer and Moore Algorithm''.

Yves Kodratoff Jean Fargues A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The ``Boyer and Moore Algorithm''. 169-175 1978 AISB/GI (ECAI) db/conf/ecai/ecai78.html#KodratoffF78