| A Novel Method for Parallel Implementation of findall | 1 | 0.39 | 1993 |
| Scheduling Speculative Work in MUSE. | 0 | 0.34 | 1993 |
| Scheduling speculative work in MUSE and performance results. | 11 | 0.67 | 1992 |
| Performance of Muse on the BBN Butterfly TC2000 | 1 | 0.36 | 1992 |
| Performance of Muse on Switch-Based Multiprocessor Machines | 7 | 0.53 | 1992 |
| OR-Parallel Speedups in a Knowledge Based System: on Muse and Aurora | 8 | 0.56 | 1992 |
| Scheduling Or-Parallelism In Muse | 10 | 0.62 | 1991 |
| Full Prolog and scheduling or-parallelism in muse | 43 | 1.75 | 1990 |
| The Muse Or-parallel Prolog model and its performance | 90 | 3.43 | 1990 |
| The MUSE Parallel Prolog System | 0 | 0.34 | 1990 |
| The muse approach to Or-parallel Prolog | 53 | 2.24 | 1990 |
