Lemma Mining over HOL Light.

Cezary Kaliszyk, Josef Urban

Browse the full LPAR paper archive.