1. DAP Prolog: A Set-Oriented Approach to Prolog;Kacsuk;The Computer Journal,1987
2. KL1 in Condition Graphs on a Connection Machine;Barklund,1988
3. The SRI Model of OR-Parallel Execution of Prolog — Abstract Design and Implementation Issues;Warren,1987
4. Optimizing And-Or Parallel Implementations;Gupta,1990
5. Taylor,S. Safra,S. Shapiro,E. A Parallel Implementation of Flat Concurrent Prolog, in Concurrent Prolog Collected Papers, Edited by E. Shapiro, The MIT Press,575–604