["The Aurora Or-Parallel Prolog System", E. Lusk et al, Proc

3rd Intl Conf on Fifth Generation Comp Systems, pp. 819-830,

ICOT, A-W 1988].