1. The Occur-Check Problem Revisited;Beer;J. Logic Programming,1988
2. KCM: A Knowledge Crunching Machine;Benker,1989
3. Multiprocessor Cache Synchronization, Issues, Innovations, Evolution;Bitar,1986
4. RISCs vs. CISCs for Prolog: A Case Study;Borriello,1987
5. The Bottom-Up Design of a Prolog Architecture;Carlson,1989