Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs | Publicación