Stephen H. Muggleton: Inverting Entailment and Progol. Machine Intelligence 14 1993: 135-190