Chemical Logic Programming? - Alessio Guglielmi; Giorgio Levi (GULP, 1993)

Chemical Logic Programming? - Pietro Di Gianantonio; Alessio Guglielmi; Giorgio Levi (ICLP Workshop on Blackboard-Based Logic Programming, 1993)

Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency. - Paola Bruscoli; Alessio Guglielmi (GULP-PRODE (2), 1994)

Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. - Alessio Guglielmi (ICLP, 1994)

A Linear Logic Programming Language with Parallel and Sequential Conjunction. - Paola Bruscoli; Alessio Guglielmi (GULP-PRODE, 1995)

Sequentiality by Linear Implication and Universal Quantification. - Alessio Guglielmi (STRICT, 1995)

Non-commutativity and MELL in the Calculus of Structures. - Alessio Guglielmi; Lutz Straßburger (CSL, 2001)

A Non-commutative Extension of MELL. - Alessio Guglielmi; Lutz Straßburger (LPAR, 2002)

A Tutorial on Proof Theoretic Foundations of Logic Programming. - Paola Bruscoli; Alessio Guglielmi (ICLP, 2003)

On structuring proof search for first order linear logic. - Paola Bruscoli; Alessio Guglielmi (Theor. Comput. Sci., 2006)

A system of interaction and structure. - Alessio Guglielmi (ACM Trans. Comput. Log., 2007)

Normalisation Control in Deep Inference via Atomic Flows. - Alessio Guglielmi; Tom Gundersen (Log. Methods Comput. Sci., 2008)

Personal portrait of Giorgio Levi. - Alessio Guglielmi (Theor. Comput. Sci., 2009)

On the proof complexity of deep inference. - Paola Bruscoli; Alessio Guglielmi (ACM Trans. Comput. Log., 2009)

Breaking Paths in Atomic Flows for Classical Logic. - Alessio Guglielmi; Tom Gundersen; Lutz Straßburger (LICS, 2010)

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. - Paola Bruscoli; Alessio Guglielmi; Tom Gundersen; Michel Parigot (LPAR (Dakar), 2010)

A Proof Calculus Which Reduces Syntactic Bureaucracy. - Alessio Guglielmi; Tom Gundersen; Michel Parigot (RTA, 2010)

A system of interaction and structure V: the exponentials and splitting. - Alessio Guglielmi; Lutz Straßburger (Math. Struct. Comput. Sci., 2011)

A system of interaction and structure IV: The exponentials and decomposition. - Lutz Straßburger; Alessio Guglielmi (ACM Trans. Comput. Log., 2011)

A Logical Basis for Quantum Evolution and Entanglement. - Richard Blute; Alessio Guglielmi; Ivan T. Ivanov; Prakash Panangaden; Lutz Straßburger (Categories and Types in Logic, Language, and Physics, 2014)

Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae - Paola Bruscoli; Alessio Guglielmi; Tom Gundersen; Michel Parigot (Log. Methods Comput. Sci., 2016)

Removing Cycles from Proofs. - Andrea Aler Tubella; Alessio Guglielmi; Benjamin Ralph (CSL, 2017)

Subatomic Proof Systems: Splittable Systems. - Andrea Aler Tubella; Alessio Guglielmi (ACM Trans. Comput. Log., 2018)

A Subatomic Proof System for Decision Trees. - Chris Barrett; Alessio Guglielmi (ACM Trans. Comput. Log., 2022)

A Strictly Linear Subatomic Proof System. - Victoria Barrett; Alessio Guglielmi; Benjamin Ralph (CSL, 2025)

Proof Compression via Subatomic Logic and Guarded Substitutions. - Victoria Barrett; Alessio Guglielmi; Benjamin Ralph; Lutz Straßburger (CoRR, 2025)