A specification of an abstract prolog machine and its application to partial evaluation (1981)

by H J Komorowski