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

by Mats Carlsson