Lemma Discovery and Strategies for Automated Induction.

Slrn Halla Einarsdttir, Mrton Hajd, Moa Johansson, Nicholas Smallbone, Martin Suda

Browse the full IJCAR paper archive.