Explanation-Based Learning with Incomplete Theories: A Three-step Approach.