@misc{indiciaeca07ec55f5d0,
  title = {Improving Size-Change Analysis in Offline Partial Evaluation},
  author = {Michael Leuschel and Salvador Tamarit and German Vidal},
  year = {2009},
  url = {https://arxiv.org/abs/0903.2202},
  note = {Source identifier: 0903.2202}
}