A query evaluation model supporting parallelism for logic programs. - Andrew J. Marsh (1990)