The SRI model for or-parallel execution of Prolog — abstract design and implementation issues (1987)

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