@misc{indiciaed22f12ae1a2d,
  title = {Eliciting implicit assumptions of proofs in the MIZAR Mathematical Library by property omission},
  author = {Jesse Alama},
  year = {2011},
  doi = {10.1007/s10817-012-9264-3},
  url = {https://arxiv.org/abs/1109.0633},
  note = {Source identifier: 1109.0633}
}