1. Special issue: Applications of logic programming. The Journal of Logic Programming, 26(2), February 1996.
2. A. Aggoun et al. ECLiPSe 3.5 User Manual. ECRC, December 1995.
3. H. Ait-Kaci. Warren’s Abstract Machine A Tutorial Reconstruction. MIT Press, 1991.
4. K. A. M. Ali and R. Karlsson. The Muse Or-parallel Prolog Model and its Performance. In Proceedings of the North American Conference on Logic Programming, pages 757–776. MIT Press, October 1990.
5. K. A. M. Ali and R. Karlsson. Performance of Muse on the BBN Butterfly TC2000. In LNCS 605, PARLE’92 Parallel Architectures and Languages Europe, pages 603–616. Springer-Verlag, June 1992.