@inproceedings{ARSV06,
 author = "G. Arroyo and J.G. Ramos and J. Silva and G. Vidal",
 title = "{Improving Offline Narrowing-Driven Partial Evaluation
  using Size-Change Graphs}",
 booktitle = "Proc.\ of the 16th Int'l Symp.\ on Logic-based Program 
              Synthesis and Transformation (LOPSTR'06)",
 pages = "55-61",
 publisher = "Universit\`a Ca' Foscari di Venezia",
 year = 2006,
}