The inference of regular LISP programs from examples (1978)

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