| A virtual machine environment for teaching the development of system software | 0 | 0.34 | 2004 |
| Formula Databases for High-Performance Resolution/Paramodulation Systems | 3 | 0.68 | 1994 |
| The Aurora or-parallel Prolog system | 177 | 9.23 | 1990 |
| Introducing parallel processing at the undergraduate level | 8 | 0.80 | 1988 |
| Implementaion of a parallel subsumption algorithm (abstract only) | 0 | 0.34 | 1985 |
