A Specification of An Abstract Prolog Machine and Its Application to Partial Evaluation (1981)

by J Komorowski