Inverse Entailment and Progol. (2005)

by S Muggleton
Venue:New Generation Computing