Thomas Ellman Explanation-Based Learning: A Survey of Programs and Perspectives. 163-221 1989 21 ACM Comput. Surv. 2 db/journals/csur/csur21.html#Ellman89