Cirquent Calculus System Cl8s versus Calculus of Structures System Sksg for Propositional Logic. - Wenyan Xu 002; Sanyang Liu (QLSC, 2012)

Soundness and completeness of the Cirquent calculus system CL6 for computability logic. - Wenyan Xu 002; Sanyang Liu (Log. J. IGPL, 2012)

The countable versus uncountable branching recurrences in computability logic. - Wenyan Xu 002; Sanyang Liu (J. Appl. Log., 2012)

The Parallel versus Branching Recurrences in Computability Logic. - Wenyan Xu 002; Sanyang Liu (Notre Dame J. Formal Log., 2013)