Design and Implementation of an OR-Parallel Prolog Engine (1990)

by M Carlsson
Venue:SICS Dissertation Series 02, The Royal Institute of Technology