Bo Chen, Yuefei Sui, Cungen Cao. The Variant Gentzen System for the Propositional Logic. In 11th International Conference on Semantics, Knowledge and Grids, SKG 2015, Beijing, China, August 19-21, 2015. pages 162-167, IEEE, 2015. [doi]
Abstract is missing.