@misc{indiciae6b2b574d5893,
  title = {Extracting Higher-Order Goals from the Mizar Mathematical Library},
  author = {Chad Brown and Josef Urban},
  year = {2016},
  url = {https://arxiv.org/abs/1605.06996},
  note = {Source identifier: 1605.06996}
}