Using resolution and paramodulation for induction proofs - Hutter, Dieter (Inst. für Informatik, 1986)