Michael Färber, Cezary Kaliszyk. Metis-based Paramodulation Tactic for HOL Light. In Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov, editors, Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015. Volume 36 of EPiC Series in Computing, pages 127-136, EasyChair, 2015. [doi]
Abstract is missing.