Stephen H. Muggleton: Inductive Logic Programming. ALT 1990: 42-62