@inproceedings{Vid09, author = "Germ\'an Vidal", title = "{Towards Scalable Partial Evaluation of Declarative Programs}", editor = "Danny De~Schreye", booktitle = "Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers", year = 2010, publisher = "Springer LNCS 6037", pages = "1-4", }