1. Ali, K. A. M. and Karlsson, R., “Full Prolog and Scheduling OR-parallelism in Muse,”International Journal of Parallel Programming, 19, 6, pp. 445–475, Dec. 1990.
2. Ali, K. A. M. and Karlsson, R., “The Muse Approach to OR-parallel Prolog,”International Journal of Parallel Programming, 19, 2, pp. 129–162, April 1990.
3. Ali, K. A. M. and Karlsson, R., “The Muse OR-parallel Prolog Model and its Performances,” inProceedings of the 1990 North American Conference on Logic Programming, MIT Press, pp. 757–776, Oct. 1990.
4. Ali, K. A. M. and Karlsson, R., “Scheduling OR-parallelism in Muse,” inProceedings of the 1991 International Conference on Logic Programming, Paris, pp. 807–821, June 1991.
5. Baron, U., Chassin de Kergommeaux, J., Hailperin, M., Ratcliffe, M., Robert, P., Syre, J-C. and Westphal, H., “The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results,” inProceedings of the International Conference on Fifth Generation Computer Systems 1988, ICOT, pp. 841–850, Nov. 1988.