A specification of an abstract Prolog machine and its application to partial evaluation - Komorowski, Henryk Jan (Linköping studies in science and technology, 1981)