Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. - Henrik Nässén; Mats Carlsson; Konstantinos Sagonas (PPDP, 2001)