The inference of regular LISP programs from examples (1978)

by A W Biermann
Venue:IEEE Trans. on Systems, Man and Cybernetics