@misc{indiciaeb97bc45b28d9,
  title = {Lemma Mining over HOL Light},
  author = {Cezary Kaliszyk and Josef Urban},
  year = {2013},
  url = {https://arxiv.org/abs/1310.2797},
  note = {Source identifier: 1310.2797}
}