The Karlsruhe Induction Theorem Proving System.

Susanne Biundo, Birgit Hummel, Dieter Hutter, Christoph Walther

Browse the full CADE paper archive.