1. U. Baron, J. Chassin de Kergommeaux, M. Hailperin, M. Ratcliffe, P. Robert, J.-C. Syre, H. Westphal — The Parallel ECRC Prolog System PEPSys: an Overview and Evaluation Results, Proceedings of the International Conference on Fifth Generation Computer Systems 1988, Tokyo, Japan, november 28-december 2, 1988, pp. 841–850.
2. R. Butler, E.L. Lusk, R. Olson, R.A. Overbeek ANLWAM: A Parallel Implementation of the Warren Abstract Machine. Argonne National Laboratory, Argonne, IL 60439, 1986.
3. W.F. Clocksin. Design and Simulation of a Sequential Prolog Machine. New Generation Computing, Vol. 3, no 1, 1985, pp. 101–120.
4. T. Dobry, Tep. A Prolog Machine Architecture. Technical Note, Computer Science Division, University of California, Berkeley, 1984.
5. M.V. Hermenegildo. An Abstract Machine for the Restricted AND-Parallel Execution of Logic Programs. Third International Conference on Logic Programming, Imperial College, 1986, pp. 25–39.