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

> Research article (Mathematical Structures in Computer Science, 2017) · cited 16× · AI/ML

**Wikidata**: [openalex:W2610208837](https://www.wikidata.org/wiki/openalex:W2610208837)  
**Source**: https://4ort.xyz/entity/benchmarks-for-reasoning-with-syntax-trees-containing-binders-and-contexts-of-assumptions