Vipin Kumar Yow-Jian Lin A Data-Dependency-Based Intelligent Backtracking Scheme for Prolog. 165-181 1988 5 J. Log. Program. 2 db/journals/jlp/jlp5.html#KumarL88