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

by S Muggleton, W Buntine
Venue:Proceedings of the Fifth International Workshop on Machine Learning (pp. 339--352). Ann Arbor