Explanation-based generalisation \(=\) partial evaluation
scientific article; zbMATH DE number 4070372