@article{leopardagenericplatformforthe,
  title = {LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners},
  author = {Max Wisniewski and Alexander Steen and Christoph Benzmüller},
  year = {2015},
  eprint = {1505.01629},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1505.01629v1},
}