Stephen H. Muggleton, Christopher H. Bryant: Theory Completion Using Inverse Entailment. ILP 2000: 130-146