@misc{indiciaece77dabc687f,
  title = {MizAR 40 for Mizar 40},
  author = {Cezary Kaliszyk and Josef Urban},
  year = {2013},
  doi = {10.1007/s10817-015-9330-8},
  url = {https://arxiv.org/abs/1310.2805},
  note = {Source identifier: 1310.2805}
}