Improving Size-Change Analysis in Offline Partial Evaluation | Publicación