Efficient Management of Backtracking in AND-Parallelism. - Manuel V. Hermenegildo; R. I. Nasr (ICLP, 1986)