J. Ross Quinlan R. Mike Cameron-Jones Induction of Logic Programs: FOIL and Related Systems. 287-312 1995 13 New Generation Comput. 3&4 db/journals/ngc/ngc13.html#QuinlanC95