1. A survey of inductive inference: theory and methods;Angluin,1982
2. Steps toward automatic theory formation;Brown,1973
3. Induction of horn clauses: methods and the plausible generalisation algorithm;Buntine,1986
4. Foundations of Mathematical Logic;Curry,1963