"Towards Just-In-Time Partial Evaluation of Prolog."

Carl Friedrich Bolz, Michael Leuschel, Armin Rigo (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics