1. The MUSE approach to OR-parallel Prolog;Ali;Int. J. Parallel Programming,1990
2. A. Calderwood, P. Szeredi, Scheduling OR-parallelism in Aurora–the Manchester scheduler, in: Proceedings of the Sixth International Conference on Logic Programming, MIT Press, Cambridge, 1989, pp. 419–435.
3. M. Carlsson, Design and implementation of an OR-parallel Prolog engine, Ph.D. Thesis The Royal Institute of Technology, Stockholm, 1990.
4. D. DeGroot, Restricted AND-parallelism and side-effects, in: International Symposium on Logic Programming, San Francisco, 1987, pp. 80–89.
5. Y. Gao, S. Hu, C. Sun, Study of a parallel inference machine for parallel execution of logic programs, Joint Conference on Vector and Parallel Processing, Zurish, 1990.