TY  - RPRT
TI  - HOL(y)Hammer: Online ATP Service for HOL Light
AU  - Cezary Kaliszyk
AU  - Josef Urban
PY  - 2013
UR  - https://arxiv.org/abs/1309.4962
ID  - 1309.4962
ER  -