1. M.Bruynooghe, D. De Schreye, B.Krekels, ‘Compiling Control’, Proc. Third Symposium on Logic Programming, Salt Lake City, 1986, pp. 70–77
2. B. Demoen, A. Marien, ‘Implementation of Prolog as binary definite Programs’ Proceedings of the Second Russion Conference on Logic Programming, Lecture Notes in Artificial Intelligence, 592, p. 165–176, March 1992
3. J. Gallagher, private communication, April 1991
4. G. Jarnsens, B. Demoen, A. Marien, ‘Improving the register allocation in WAM by reordering unification’ Proceeding of the International Conference & Symposium on Logic Programming, Seattle, Washington Aug 1988
5. C.S. Mellish, ‘Some Global Optimizations for a Prolog Compiler’, Journal of Logic Programming, 2 (1): 43–66, 1985