A High-Performance Explanation-Based Learning Algorithm.

Alberto Maria Segre Charles Elkan A High-Performance Explanation-Based Learning Algorithm. 1-50 1994 69 Artif. Intell. 1-2 db/journals/ai/ai69.html#SegreE94