Inverse entailment and Progol (1995)

by S Muggleton
Venue:New Generation Computing