@inproceedings{ARSV07,
 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 = "Logic-based Program Synthesis and Transformation (revised and
              selected papers from LOPSTR'06)",
 editor = "Germ\'an Puebla",
 publisher = "Springer LNCS 4407",
 pages = "60-76",
 year = 2007,
}