Michael Leuschel, Germán Vidal. Fast Offline Partial Evaluation of Large Logic Programs. In Michael Hanus, editor, Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Volume 5438 of Lecture Notes in Computer Science, pages 119-134, Springer, 2008. [doi]