"Instruction Merging and Specialization in the SICStus Prolog Virtual Machine."

Henrik Nässén, Mats Carlsson, Konstantinos Sagonas (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics