부분 결과서지만 확인
Short Proofs Are Narrow — Resolution Made SimpleE. Ben-Sasson, A. Wigderson · 2001Journal of the ACM 48(2), 149–169쪽 (2001) · 학회 발표 STOC 1999, 517–526쪽「짧은 증명은 좁다」는 원리로 분해 체계의 하한 증명을 단순하게 만든 논문이다. Haken 의 지수 하한 증명을 훨씬 단순하게 만든 논문으로, 2-3 의 증명 복잡도 글이 인용한다. ACM 디지털 도서관으로 연결된다.
확인:원문은 확인하지 못함. 서지는 DOI 등록 기록으로, 내용은 Aaronson 2017 §6.2.1 의 각주로 확인.