A system of interaction and structure A Guglielmi ACM Transactions on Computational Logic (TOCL) 8 (1), 1, 2007 | 259 | 2007 |

Non-commutativity and MELL in the calculus of structures A Guglielmi, L Straßburger Computer Science Logic, 54-68, 2001 | 115 | 2001 |

On the proof complexity of deep inference P Bruscoli, A Guglielmi ACM Transactions on Computational Logic 10 (2), 14:1-34, 2009 | 99 | 2009 |

Normalisation control in deep inference via atomic flows A Guglielmi, T Gundersen Logical Methods in Computer Science 4 (1:9), 1-36, 2007 | 88 | 2007 |

A non-commutative extension of MELL A Guglielmi, L Straßburger Logic for Programming, Artificial Intelligence, and Reasoning, 231-246, 2002 | 55* | 2002 |

A proof calculus which reduces syntactic bureaucracy A Guglielmi, T Gundersen, M Parigot 21st International Conference on Rewriting Techniques and Applications 6 …, 2010 | 51 | 2010 |

Breaking paths in atomic flows for classical logic A Guglielmi, T Gundersen, L Straßburger 2010 25th Annual IEEE Symposium on Logic in Computer Science, 284-293, 2010 | 43 | 2010 |

A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae P Bruscoli, A Guglielmi, T Gundersen, M Parigot Logic for Programming, Artificial Intelligence, and Reasoning, 136-153, 2010 | 43* | 2010 |

A system of interaction and structure IV: The exponentials and decomposition L Straßburger, A Guglielmi ACM Transactions on Computational Logic (TOCL) 12 (4), 23, 2011 | 39* | 2011 |

Deep inference A Guglielmi Web site at http://alessio.guglielmi.name/res/cos, 0 | 35* | |

A system of interaction and structure V: The exponentials and splitting A Guglielmi, L Straßburger Mathematical Structures in Computer Science 21 (3), 563-584, 2011 | 30 | 2011 |

Abstract logic programming in linear logic independence and causality in a first order calculus A Guglielmi BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 59, 416-417, 1996 | 19 | 1996 |

Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator. A Guglielmi ICLP, 240-254, 1994 | 19 | 1994 |

A first order system with finite choice of premises K Brünnler, A Guglielmi First-Order Logic Revisited, Logische Philosophie, 59-74, 2004 | 17 | 2004 |

A logical basis for quantum evolution and entanglement RF Blute, A Guglielmi, IT Ivanov, P Panangaden, L Straßburger Lecture Notes in Computer Science 8222, 90-107, 2010 | 16* | 2010 |

Formalism A A Guglielmi Manuscript. http://cs.bath.ac.uk/ag/p/AG11.pdf, 2004 | 16* | 2004 |

A linear logic view of Gamma style computations as proof searches P Bruscoli, A Guglielmi Coordination programming: mechanisms, models and semantics, 249-273, 1996 | 15 | 1996 |

On analyticity in deep inference P Bruscoli, A Guglielmi | 14* | 2009 |

Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae P Bruscoli, A Guglielmi, T Gundersen, M Parigot Logical Methods in Computer Science 12 (1), 5:1-30, 2009 | 13 | 2009 |

Subatomic proof systems: Splittable systems AA Tubella, A Guglielmi ACM Transactions on Computational Logic (TOCL) 19 (1), 5, 2018 | 12* | 2018 |