Normalization and Partial Evaluation