TY  - RPRT
TI  - The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks
AU  - Amy P. Felty
AU  - Alberto Momigliano
AU  - Brigitte Pientka
PY  - 2015
UR  - https://arxiv.org/abs/1503.06095
ID  - 1503.06095
ER  -