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]
@inproceedings{ChenSC15-5, title = {The Variant Gentzen System for the Propositional Logic}, author = {Bo Chen and Yuefei Sui and Cungen Cao}, year = {2015}, doi = {10.1109/SKG.2015.8}, url = {http://doi.ieeecomputersociety.org/10.1109/SKG.2015.8}, researchr = {https://researchr.org/publication/ChenSC15-5}, cites = {0}, citedby = {0}, pages = {162-167}, booktitle = {11th International Conference on Semantics, Knowledge and Grids, SKG 2015, Beijing, China, August 19-21, 2015}, publisher = {IEEE}, isbn = {978-1-4673-9808-4}, }