Jung-Herng Chang Alvin M. Despain Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis. 10-21 1985 SLP db/conf/slp/slp85.html#ChangD85