@misc{indiciae7fa6a139c440,
  title = {LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners},
  author = {Max Wisniewski and Alexander Steen and Christoph Benzmüller},
  year = {2015},
  url = {https://arxiv.org/abs/1505.01629},
  note = {Source identifier: 1505.01629}
}