An Improved Data-Dependency-Based Backtracking Scheme for Prolog. - Vishv M. Malhotra; T. V. To; Kanchana Kanchanasut (Inf. Process. Lett., 1989)