Initial Experiments with External Provers and Premise Selection on HOL Light Corpora.

Cezary Kaliszyk, Josef Urban

Browse the full CADE paper archive.