Explanation-based generalisation = partial evaluation

Open in new window