Machine invention of first-order predicates by inverting resolution (1988)

by S Muggleton, W Buntine
Venue:In Proc. of ICML'88, pp.339--352