1. Warren's abstract Machine: A Tutorial Reconstruction;Aı¨t-Kaci,1991
2. The muse approach to or-parallel prolog;Ali;Internat. J. Parallel Programming,1990
3. A parallel Prolog system for distributed memory;Araujo;J. Logic Programming,1998
4. H. Babu, Porting muse on ipsc860, Master's Thesis, New Mexico State University, 1996.
5. D.A. Bader, J. JaJa, SIMPLE: a methodology for programming high performance algorithms on clusters of symmetric multiprocessors, Technical Report, University of Maryland, 1997.