"Efficient Management of Backtracking in AND-Parallelism."

Manuel V. Hermenegildo, R. I. Nasr (1986)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics