Proving inductive theorems based on term rewriting systems - Hofbauer, Dieter; Kutsche, Ralf-Detlef 1955- (Univ.-Bibl. d. Techn. Univ., 1988)