Combinatorial Proofs and Decomposition Theorems for First-order Logic. - Dominic J. D. Hughes; Lutz Straßburger; Jui-Hsuan Wu (LICS, 2021)

Proofs as Terms, Terms as Graphs. - Jui-Hsuan Wu (APLAS, 2023)

A Positive Perspective on Term Representation (Invited Talk). - Dale Miller 001; Jui-Hsuan Wu (CSL, 2023)

Positive Focusing is Directly Useful. - Beniamino Accattoli; Jui-Hsuan Wu (CoRR, 2024)

Proof theory, syntactic representations, logic, and sharing. (Théorie de la preuve, représentations syntaxiques, logique, et partage). - Jui-Hsuan Wu (2024)

Positive Sharing and Abstract Machines. - Beniamino Accattoli; Claudio Sacerdoti Coen; Jui-Hsuan Wu (CoRR, 2025)