Yousri El Fattah Paul O'Rorke Explanation-Based Learning for Diagnosis. 35-70 1993 13 Machine Learning db/journals/ml/ml13.html#FattahO93