1. The Warren Abstract Machine: A Tutorial Reconstruction;Aït-Kaci,1992
2. The Muse Or-Parallel Prolog Model and Its Performance;Ali,1990
3. Parallel Bounded Quantifiers: Preliminary Results;Arro,1992
4. Proc. Int. Conf. on Fifth Generation Computer Systems, ICOT;Association for Computing Machinery,1992
5. Parallel Unification;Barklund,1990