Jacques Chassin de Kergommeaux Uri Baron Wolfgang Rapp Michael Ratcliffe Performance Analysis of a Parallel Prolog: A Correlated Approach. 151-164 1989 conf/parle/1989-2 PARLE (2) db/conf/parle/parle89-2.html#KergommeauxBRR89 http://dx.doi.org/10.1007/3-540-51285-3_39