Petr Pudlak Semantic Selection of Premisses for Automated Theorem Proving. 2007 ESARLT http://ceur-ws.org/Vol-257/04_Pudlak.pdf conf/cade/2007esarlt db/conf/cade/esarlt2007.html#Pudlak07