Muggleton, SH, Bryant, CH, "Theory completion using inverse entailment", , 2000