Performance Analysis of a Parallel Prolog: A Correlated Approach. - Jacques Chassin de Kergommeaux; Uri Baron; Wolfgang Rapp; Michael Ratcliffe (PARLE (2), 1989)