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

by M Carlsson