@misc{indiciae75d92944f8c2,
  title = {The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks},
  author = {Amy P. Felty and Alberto Momigliano and Brigitte Pientka},
  year = {2015},
  url = {https://arxiv.org/abs/1503.06095},
  note = {Source identifier: 1503.06095}
}