Explanation-Based Generalization: A Unifying View