The SRI Model for Or-Parallel Execution of Prolog—Abstract Design and Implementation Issues (1987)

by D H D Warren
Venue:In SLP’87