Stephen H. Muggleton: Inverse Entailment and Progol. New Gener. Comput. 13(3&4): 245-286 (1995)