论自由证明规则的构建
론자유증명규칙적구건
Construction of Free Proof Rules
저자의 최근 논문