William W. Cohen Abductive Explanation-Based Learning: A Solution to the Multiple Inconsistent Explanation Problem. 167-219 1992 8 Machine Learning db/journals/ml/ml8.html#Cohen92