1. Ali, K. A. M. and Karlsson, R., “The Muse Or-parallel Prolog Model and its Performance,” in1990 North American Conf. on Logic Programming, MIT Press, pp. 757–776, 1990.
2. 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, 1991.
3. Beaumont, T. and Warren, D. H. D., “Scheduling Speculative Work in Or-Parallel Prolog Systems,” in10th International Conf. on Logic Programming, MIT Press, pp. 135–149, 1993.
4. Ben-Amram, A. M., “What is a Pointer Machine?,”Technical report, DIKU, University of Copenhagen, 1995.
5. Blum, N., “On the single-operation worst-case time complexity of the disjoint set union problem,”SIAM Journal on Computing, 15(4), pp. 1021–1024, 1986.