Hermenegildo, Manuel V. and Rossi, Francesca (1989). On the correctness and efficiency of independent and-parallelism in logic programs. In: "1989 north american conference in logic programming", October 16-20, 1989, Cleveland, Ohio. ISBN 0262620642.