| Improved Branch and Bound in Constraint Logic Programming | 4 | 0.49 | 1995 |
| Parallel CLP on heterogeneous networks | 11 | 0.84 | 1994 |
| Applications of the Aurora parallel Prolog system to computational molecular biology | 10 | 0.52 | 1993 |
| Performance of Muse on the BBN Butterfly TC2000 | 1 | 0.36 | 1992 |
| Performance of Muse on Switch-Based Multiprocessor Machines | 7 | 0.53 | 1992 |
| Applications of the Aurora Parallel Prolog System to Computational Molecular Biology | 1 | 0.36 | 1992 |
| Performance Of Aurora On Numa1 Machines | 4 | 0.42 | 1991 |
| Performance Analysis of Aurora on a Switch-Based Multiprocessor | 1 | 0.36 | 1989 |
| Global compilation of prolog | 30 | 2.32 | 1989 |
