Incorporating generalization heuristics into verification of Prolog programs - Seki, Hirohisa; Kanamori, Tadashi (1985)