A Cut-Free Gentzen Formulation of Basic Propositional Calculus.

Kentaro Kikuchi Katsumi Sasaki A Cut-Free Gentzen Formulation of Basic Propositional Calculus. 213-225 2003 12 Journal of Logic, Language and Information 2 db/journals/jolli/jolli12.html#KikuchiS03