The SRI model for OR-parallel execution of Prolog (1987)

by D Warren
Venue:In Symposium on Logic Programming ’87