Lemma Discovery in Automated Induction.

Deepak Kapur, Mahadevan Subramaniam

Browse the full CADE paper archive.