Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions

Amy P. Felty, Alberto Momigliano, Brigitte Pientka. Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Mathematical Structures in Computer Science, 28(9):1507-1540, 2018. [doi]

@article{FeltyMP18,
  title = {Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions},
  author = {Amy P. Felty and Alberto Momigliano and Brigitte Pientka},
  year = {2018},
  doi = {10.1017/S0960129517000093},
  url = {https://doi.org/10.1017/S0960129517000093},
  researchr = {https://researchr.org/publication/FeltyMP18},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {28},
  number = {9},
  pages = {1507-1540},
}