Explanation-based learning with analogy for impasse resolution