1. R. S. Boyer and J. S. Moore. The Sharing of Structure in Theorem Proving Programs. Machine Intelligence 7 (B. Meltzer and D. Miche, eds.), Edinburgh University Press, 1972, pp. 101–116.
2. D. H. D. Warren. Logic Programming and Compiler Writing. Technique Report: DAI 44, University of Edinburgh, 1977.
3. Z. Farkas, P. Koves and P. Szeredi. MProlog: An Implementation Overview. Implementations of Logic Programming Systems, Kluwer Academic Publishers, 1994, pp. 103–117.
4. M. Bruynooghe. An Interpreter for Predicate Programs: Part 1. Technique Report CW 16, Katholieke Universiteit Leuven, 1976.
5. D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Note 209, SIR International, 1983.