Fucusing and Proof-Nets in Linear and Non-commutative Logic. - Jean-Marc Andreoli; Roberto Maieli (LPAR, 1999)

A new correctness criterion for multiplicative non-commutative proof nets. - Roberto Maieli (Arch. Math. Log., 2003)

Non-commutative logic III: focusing proofs. - Roberto Maieli; Paul Ruet (Inf. Comput., 2003)

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

Non-commutative proof construction: A constraint-based approach. - Jean-Marc Andreoli; Roberto Maieli; Paul Ruet (Ann. Pure Appl. Log., 2006)

Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic. - Roberto Maieli (LPAR, 2007)

Cut Elimination for Monomial MALL Proof Nets. - Olivier Laurent 001; Roberto Maieli (LICS, 2008)

Bipolar Proof Nets for MALL - Roberto Maieli (CoRR, 2012)

Construction of Retractile Proof Structures. - Roberto Maieli (RTA-TLCA, 2014)

Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing. - Vito Michele Abrusci; Roberto Maieli (FG, 2015)

Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing. - Vito Michele Abrusci; Roberto Maieli (WoLLIC, 2015)

Non decomposable connectives of linear logic. - Roberto Maieli (Ann. Pure Appl. Log., 2019)

Proof nets for multiplicative cyclic linear logic and Lambek calculus. - V. Michele Abrusci; Roberto Maieli (Math. Struct. Comput. Sci., 2019)

Generalized Connectives for Multiplicative Linear Logic. - Matteo Acclavio; Roberto Maieli (CSL, 2020)

A Proof of the Focusing Theorem via MALL Proof Nets. - Roberto Maieli (WoLLIC, 2022)

Logic Programming with Multiplicative Structures. - Matteo Acclavio; Roberto Maieli (DCM, 2023)