@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, }