@article{kaliszyk2015hol,
  title={{HOL} (y) {H}ammer: Online {ATP} Service for {HOL} {L}ight},
  author={Kaliszyk, Cezary and Urban, Josef},
  journal={Mathematics in Computer Science},
  volume={9},
  number={1},
  pages={5--22},
  year={2015},
  publisher={Springer}
}