Learning Search Control Knowledge: An Explanation-Based Approach (The Springer International Series in Engineering and Computer Science, 61, Band 61)