| On the proof complexity of deep inference P Bruscoli, A Guglielmi ACM Transactions on Computational Logic (TOCL) 10 (2), 1-34, 2009 | 117 | 2009 |
| A purely logical account of sequentiality in proof search P Bruscoli International Conference on Logic Programming, 302-316, 2002 | 101 | 2002 |
| Compilative constructive negation in constraint logic programs P Bruscoli, F Levi, G Levi, MC Meo Trees in Algebra and Programming—CAAP'94: 19th International Colloquium …, 1994 | 36 | 1994 |
| 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: 16th …, 2010 | 30 | 2010 |
| Compiling intensional sets in CLP P Bruscoli, A Dovier, E Pontelli, G Rossi | 26 | 1994 |
| A linear logic view of Gamma style computations as proof searches P Bruscoli, A Guglielmi Coordination programming: mechanisms, models and semantics, 249-273, 1996 | 16 | 1996 |
| 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, 2016 | 14 | 2016 |
| Intensional Negation in Constraint Logic Programs. P Bruscoli, F Levi, G Levi, MC Meo GULP, 359-374, 1993 | 12 | 1993 |
| On structuring proof search for first order linear logic P Bruscoli, A Guglielmi Theoretical Computer Science 360 (1-3), 42-76, 2006 | 11 | 2006 |
| On analyticity in deep inference P Bruscoli, A Guglielmi Technical report, 2016. URL http://cs. bath. ac. uk/ag/p/ADI. pdf. note, 2009 | 10 | 2009 |
| Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae. Submitted P Bruscoli, A Guglielmi, T Gundersen, M Parigot | 10 | 2009 |
| A tutorial on proof theoretic foundations of logic programming P Bruscoli, A Guglielmi International Conference on Logic Programming, 109-127, 2003 | 10 | 2003 |
| On the length of medial-switch-mix derivations P Bruscoli, L Straßburger Logic, Language, Information, and Computation: 24th International Workshop …, 2017 | 8 | 2017 |
| On analytic inference rules in the calculus of structures P Bruscoli, A Guglielmi Note available at http://cs. bath. ac. uk/ag/p/Onan. pdf, 2007 | 8 | 2007 |
| A quasipolynomial cutelimination procedure in deep inference via atomic flows and threshold formulae. Submitted P Bruscoli, A Guglielmi, T Gundersen, M Parigot | 7 | 2009 |
| A linear logic programming language with parallel and sequential conjunction P Bruscoli, A Guglielmi GULP-PRODE'95, Joint Conference on Declarative Programming: Marina di Vietri …, 1995 | 4 | 1995 |
| Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency. P Bruscoli, A Guglielmi GULP-PRODE (2), 221-237, 1994 | 4 | 1994 |
| On Analyticity in Deep Inference P Bruscoli, A Guglielmi | 1 | 2016 |
| A Quasipolynomial Normalisation Procedure in Deep Inference P Bruscoli, A Guglielmi, T Gundersen, M Parigot | 1 | 2011 |
| Introduction to Deep Inference and Proof Nets P Bruscoli, L Straßburger | | 2007 |
