Jia-Huai You, Brian Wong, Chung-Sea Law. A new intelligent backtracking scheme for Prolog: a summary of results. In IEEE International Workshop on Tools for Artificial Intelligence: Architectures, Languages and Algorithms, TAI 1989, Fairfax, VA, USA, October 23-25, 1989. pages 190-197, IEEE, 1989. [doi]
Abstract is missing.