@techreport{R-90-12, TITLE = {Towards a Methodology for the Design of Abstract Machines of Logic Programming Languages}, AUTHOR = {Ulf Nilsson}, YEAR = {1990}, NUMBER = {R-90-12}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACT = {}, IDANR = {LiTH-IDA-R-90-12}, NOTE = {Also accepted for publication in the Journal of Logic Programming}