1. Ali, K. Karlsson, R. “The Muse Or-Parallel Prolog Model and its Performance”. NACLP 90. pp 757–776.
2. Baron, U. Ratcliffe, M. Syre, J. “The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results”. Proc. Int. Conf. on Fith Gen. Comp. Sys. 1988. ICOT 1988.
3. Ciepielewski, A. Haridi, S. “A formal model for OR parallel execution of logic programs”. IFIP 1983.
4. Conery, J.S. “AND Paralelism and Nondeterminism in Logic Programs”. New Generation Computing. 1985.
5. Kaesuk, P. “A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation”. The Computer Journal, Vol 34, No. 1. 1991.