Stephen Muggleton Inverse Entailment and Progol. 245-286 1995 13 New Generation Comput. 3&4 db/journals/ngc/ngc13.html#Muggleton95