"An Intelligent Backtracking Scheme for Prolog."

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