1. Khayri Ali, Or-parallel execution of Prolog on BC-Machine. SICS Research Report, Swedish Institute of Computer Science, 1987.
2. Khayri A. M. Ali, and Roland Karlsson, The Muse or-parallel Prolog model and its performance. In Proceedings of the North American Conference on Logic Programming, MIT Press, October 1990.
3. Per Brand, Wavefront scheduling. 1988. Internal Report, Gigalips Project.
4. Ralph Butler, Terry Disz, Ewing Lusk, Robert Olson, Ross Overbeek, and Rick Stevens, Scheduling OR-parallelism: an Argonne perspective. In Proceedings of the Fifth International Conference on Logic Programming, pages 1590–1605, MIT Press, August 1988.
5. Alan Calderwood, and Péter Szeredi, Scheduling or-parallelism in Aurora — the Manchester scheduler. In Proceedings of the Sixth International Conference on Logic Programming, pages 419–435, MIT Press, June 1989.