Cezary Kaliszyk, Josef Urban. Initial Experiments with External Provers and Premise Selection on HOL Light Corpora. In Pascal Fontaine, Renate A. Schmidt, Stephan Schulz, editors, Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012. Volume 21 of EPiC Series, pages 72-81, EasyChair, 2012. [doi]
Abstract is missing.