Explanation-Based Learning with Incomplete Theories: A Three-step Approach. - Jean Genest; Stan Matwin; Boris Plante (ML, 1990)