1. K.A.M. Ali and R. Karlsson. The Muse Or-Parallel Prolog Model and its Performance. In 1990 North American Conference on Logic Programming, pages 757–776. MIT Press, October 1990.
2. Henrik Arro, Jonas Barklund, and Johan Bevemyr. Parallel bounded quantification—preliminary results. ACM SIGPLAN Notices, 28:117–124, 1993.
3. Jonas Barklund. Parallel Unification. PhD thesis, Comp. Sci. Dept., Uppsala Univ., Uppsala, 1990.
4. J. Bevemyr, T. Lindgren, and H. Millroth. Reform Prolog: the language and its implementation. In Proc. 10th Intl. Conf. Logic Programming, Cambridge, Mass., 1993. MIT Press.
5. M. Carro, L. Gómez, and M. Hermenegildo. Some Paradigms for Visualizing Parallel Execution of Logic Programs. In 1993 International Conference on Logic Programming, pages 184–201. MIT Press, June 1993.