A new intelligent backtracking scheme for Prolog: a summary of results. - Jia-Huai You; Brian Wong; Chung-Sea Law (TAI, 1989)