Lemma Generalization and Non-unit Lemma Matching for Model Elimination. - Koji Iwanuma; Kenichi Kishino (ASIAN, 1999)