Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages.

Ulf Nilsson Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages. 163-189 1993 16 J. Log. Program. 1 db/journals/jlp/jlp16.html#Nilsson93