1. Khayri A. M. Ali and Roland Karlsson, The Muse Approach to OR-Parallel Prolog,Int'l. J. of Parallel Programming,19(2):129?162 (April 1990).
2. Uri Baron, Jacques Chassin de Kergommeaux, Max Hailperin, Michael Ratcliffe, Philippe Ropert, Jean-Claude Syre, and Harald, Westphal, The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results,Proc. of the Int'l. Conf. on Fifth Generation Computer Systems, ICOT pp. 841?850 (November 1988).
3. Ralph Butler, Ewing Lusk, Robert Olson, and Ross Overbeek, ANLWAM?A Parallel Implementation of the Warren Abstract Machine, Internal Report, Argonne National Laboratory (1986).
4. William Clocksin, Principles of the DelPhi Parallel Inference Machine,Computer Journal 30(5):386?392 (1987).
5. Laxmikant V. Kalé, The Reduce-OR Process Model for Parallel Evaluation of Logic Programs,Proc. of the Fourth Int'l. Conf. on Logic Programming, MIT Press, pp. 616?632 (May 1987).