A unification graph with constraints for intelligent backtracking in deduction systems - Dilger, Werner; Janson, Agnes (Fachbereich Informatik, Univ. Kaiserslautern, 1984)