Stephen H. Muggleton, Cao Feng: Efficient Induction of Logic Programs. ALT 1990: 368-381