# Narrow Proofs May Be Maximally Long

> Research article (ACM Transactions on Computational Logic, 2016) · cited 54× · AI/ML

**Wikidata**: [openalex:W2396393208](https://www.wikidata.org/wiki/openalex:W2396393208)  
**Source**: https://4ort.xyz/entity/narrow-proofs-may-be-maximally-long