Explanation-Based Generalisation = Partial Evaluation (1988)

by F van Harmelen, A Bundy
Venue:Artificial Intelligence