The Karlsruhe Induction Theorem Proving System. - Susanne Biundo; Birgit Hummel; Dieter Hutter; Christoph Walther (CADE, 1986)

Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion. - Birgit Hummel (1990)