1. Biswas P., Su S.C., and Yun D.Y.Y., “A scalable abstract machine to support limited-OR/restricted-AND parallelism in logic programs,” Proc. Fifth Int. Conference and Symposium on Logic Programming, MIT Press, pp. 1160–1179, 1988.
2. Cannataro M., Spezzano G., and Talia D., “A parallel logic system on a multicomputer architecture”, Future Generation Computer Systems, North-Holland, vol. 6, no. 4, pp. 317–331, 1991.
3. Cannataro M., Gallizzi E., Spezzano G., and Talia D., “Design, implementation and evaluation of a deadlock-free routing algorithm for concurrent computers”, Concurrency: Practice and Experience, vol. 4, no. 2, pp. 143–161, April 1992a.
4. Cannataro M., Sergeyev Ya., Spezzano G., and Talia D., “A probabilistic load balancing strategy with neighbourhood synchronization for multicomputer systems,” submitted for publication, 1992b.
5. Conery J.S., Parallel Execution of Logic Programs, Kluwer Academic Publisher, 1987.