On the Jordan-Hölder decomposition of proof nets. - Quintijn Puite; Harold Schellinx (Arch. Math. Log., 1997)

Proof Nets for the Multimodal Lambek Calculus. - Richard Moot; Quintijn Puite (Stud Logica, 2002)

Modularity of proof-nets. - Roberto Maieli; Quintijn Puite (Arch. Math. Log., 2005)

2-piercings via graph theory. - Rudi Pendavingh; Quintijn Puite; Gerhard J. Woeginger (Discret. Appl. Math., 2008)