The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues

David H. D. Warren. The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues. In SLP. pages 92-102, 1987.

Abstract

Abstract is missing.