"A Data-Dependency-Based Intelligent Backtracking Scheme for Prolog."

Vipin Kumar, Yow-Jian Lin (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics