Inverse entailment and progol (1995)

by S Muggleton, W Building, P Road
Venue:New generation Computing