TY  - RPRT
TI  - LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners
AU  - Max Wisniewski
AU  - Alexander Steen
AU  - Christoph Benzmüller
PY  - 2015
UR  - https://arxiv.org/abs/1505.01629
ID  - 1505.01629
ER  -