부분 결과서지만 확인
Lower Bounds for Resolution and Cutting Plane Proofs and Monotone ComputationsP. Pudlák · 1997Journal of Symbolic Logic 62(3), 981–998쪽 (1997)절단 평면 증명 체계에 대한 지수 하한을 증명한 논문이다. 2-3 의 증명 복잡도 글이 체계별 하한 표에서 인용한다.
확인:원문은 확인하지 못함. 서지는 DOI 등록 기록으로, 내용은 영어 위키백과 「Proof complexity」 문서로 확인.