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

by David H D Warren
Venue:In Proceedings of the 1987 International Logic Programming Symposium