Initial experiments with external provers and premise selection on HOL Light corpora (2013)

by Cezary Kaliszyk, Josef Urban
Venue:PAAR-2012, volume 21 of EPiC Series