1. K.A.M Ali and R. Karlsson. Scheduling OR-parallelism in MUSE. In K. Furukawa, editor, 8th International Conference on Logic Programming, pages 807–821, Paris, June 1991.
2. L. Araujo and J.J. Ruz. A parallel Prolog system for distributed memory. International Journal of Logic Programming, 33(1):49–79, October 1997.
3. A. Beaumont, S.M. Raman, and P. Szeredi. Flexible scheduling of OR-parallelism in Aurora: The Bristol scheduler. Technical report, Department of Computer Science, University of Bristol, October 1990.
4. J. Briat, M. Favre, C. Geyer, and J.C. de Kergommeaux. OPERA: Or-parallel Prolog system on Supernode. In P. Kacsuk and M.J. Wise, editors, Implementations of Distributed Prolog, pages 45–64, John Wiley,Chichester, 1992.
5. G.F. Coulouris and J. Dollimore. Distributed Systems: concepts and design, 2nd edition. Addison Wesley, 1994.