Exploiting OR-parallelism in Prolog using multiple sequential machines. - Carole Susan Klein (1989)