Beagle as a HOL4 external ATP method.

Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish

Browse the full CADE paper archive.