Explanation-based generalisation = partial evaluation

Harmelen, F. | Bundy, A.

Classics 

Artificial Intelligence, 36 (3): 401-12