Kahn, K. M. Partial Evaluation, Programming Methodology, and Artificial Intelligence. AIMag 1984, 5, 53.