1. K. Ali, R. Karlsson, The muse OR-parallel Prolog model and its performance, in: Proceedings of 1990 North American Conference on Logic Programming, Austin, USA, October 1990, pp. 129–162
2. Scheduling speculative work in MUSE and performance results;Ali;Int. J. Parallel Programming,1992
3. L. Araujo, J.J. Ruz, PDP: Prolog distributed processor for independent AND/OR parallel execution of Prolog, in: P. Van Hentenryk (Ed.), Proceedings of 11th ICLP, MIT Press, 1994, pp. 142–156
4. U. Baron, J.C. de Kergommeaux, M. Hailperin, M. Ratcliffe, P. Robert, J. Syre, H. Westphal, The parallel ECRC Prolog system PEPSys: an overview and evaluation results, in: Proceedings of Future Generation Computer Systems '88 Conference, Tokyo, 1988, pp. 841–849
5. A. Ciepielewski, S. Haridi, A formal model for OR-parallel execution of logic programs, in: Proceedings in Format Processing, IFIP, 1983, pp. 299–305