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