1. P. Borgwardt, “Parallel Prolog Using Stack Segments on Shared-memory Multiprocessors”, Proc. 1984 Int. Symp. on Logic Programming, pp. 2–11,1984.
2. M. Cannataro, G. Spezzano, and D. Talia, “A Highly Decentralized Architecture for the Parallel Execution of Logic Programs”, in C. Girault and M. Cosnard, eds., Decentralized Systems, pp. 235–246, North-Holland, Amsterdam 1990.
3. M. Cannataro, E. Gallizzi, G. Spezzano, and D. Talia, “Design, Implementation and Evaluation of a Deadlock-Free Routing Algorithm for Concurrent Computers”, to appear in Concurrency: Practice and Experience, John Wiley & Sons 1991.
4. J. Chassin, J.C. Syre, and H. Westphal, “Implementation of a Parallel Prolog System on a Commercial Multiprocessor”, Proc. ECAI 88, pp. 278–283, West Germany, 1988.
5. A. Ciepielewski and S. Haridi, “A Formal Model for OR-parallel Execution of Logic Programs”, Proc. Information Processing 83, pp. 299–305,1983.