Wenyan Xu, Sanyang Liu. Cirquent Calculus System Cl8s versus Calculus of Structures System Sksg for Propositional Logic. In Guojun Wang 0004, Bin Zhao, Yongmin Li 0001, editors, Quantitative Logic and Soft Computing, Proceedings of the QLSC 2012, Xi'an, China, 12-15 May 2012. Volume 5 of World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, 2012. [doi]
Abstract is missing.