TY  - RPRT
TI  - Premise Selection and External Provers for HOL4
AU  - Thibault Gauthier
AU  - Cezary Kaliszyk
PY  - 2015
DO  - 10.1145/2676724.2693173
UR  - https://arxiv.org/abs/1509.03534
ID  - 1509.03534
ER  -