Werner Dilger Agnes Janson Intelligent Backtracking in Deduction Systems by Means of Extended Unification Graphs. 44-62 1986 2 J. Autom. Reasoning 1 db/journals/jar/jar2.html#DilgerJ86