Charles Elkan: Automated Inductive Reasoning about Logic Programs. Cornell University, USA 1990