Explanationbased generalisation = partial evaluation (1988)

by F van Harmelen, A Bundy
Venue:Artificial Intelligence