Beagle as a HOL4 external ATP method

Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish. Beagle as a HOL4 external ATP method. In Stephan Schulz 0001, Leonardo de Moura, Boris Konev, editors, 4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. Volume 31 of EPiC Series in Computing, pages 50-59, EasyChair, 2014. [doi]

Abstract

Abstract is missing.