S. Abramsky and R. Jagadeesan, Abstract, The Journal of Symbolic Logic, vol.417, issue.02, pp.543-574, 1994.
DOI : 10.1007/BF01622878

J. Andreoli, Logic Programming with Focusing Proofs in Linear Logic, Journal of Logic and Computation, vol.2, issue.3, pp.297-347, 1992.
DOI : 10.1093/logcom/2.3.297

R. F. Blute, A. Guglielmi, I. T. Ivanov, P. Panangaden, and L. Straßburger, A Logical Basis for Quantum Evolution and Entanglement, 2010.
DOI : 10.1007/s10485-010-9241-0
URL : https://hal.archives-ouvertes.fr/hal-01092279

R. Blute, P. Panangaden, and L. Straßburger, The logic BV and quantum causality, Trends in Logic VI: Logic and the foundations of physics: space, time and quanta, 2008.

R. Blute, P. Panangaden, and S. Slavnov, Deep inference and probablistic coherence spaces, 2009.
DOI : 10.1007/s10485-010-9241-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.6952

P. Bruscoli, A Purely Logical Account of Sequentiality in Proof Search, Logic Programming, 18th International Conference, pp.302-316, 2002.
DOI : 10.1007/3-540-45619-8_21

K. Brünnler, Atomic Cut Elimination for Classical Logic, CSL 2003, pp.86-97, 2003.
DOI : 10.1007/978-3-540-45220-1_9

K. Brünnler and A. Tiu, A Local System for Classical Logic, LNAI, vol.2250, pp.347-361, 2001.
DOI : 10.1007/3-540-45653-8_24

A. Fleury and C. Retoré, The mix rule, Mathematical Structures in Computer Science, vol.28, issue.02, pp.273-285, 1994.
DOI : 10.1016/0304-3975(93)90181-R

A. Guglielmi and T. Gundersen, Normalisation Control in Deep Inference via Atomic Flows, Logical Methods in Computer Science, vol.4, issue.1, pp.1-36, 2008.
DOI : 10.2168/LMCS-4(1:9)2008

A. Guglielmi, T. Gundersen, and M. Parigot, A proof calculus which reduces syntactic bureaucracy, 21st International Conference on Rewriting Techniques and Applications of Leibniz International Proceedings in Informatics (LIPIcs) Schloss Dagstuhl?Leibniz-Zentrum für Informatik, pp.135-150, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00529301

A. Guglielmi, T. Gundersen, and L. Straßburger, Breaking Paths in Atomic Flows for Classical Logic, 2010 25th Annual IEEE Symposium on Logic in Computer Science, 2010.
DOI : 10.1109/LICS.2010.12
URL : https://hal.archives-ouvertes.fr/hal-00541076

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

J. Girard, Locus solum: From the rules of logic to the logic of rules, Math. Structures in Comp. Science, vol.11, issue.3, pp.301-506, 2001.

A. Guglielmi and L. Straßburger, Non-commutativity and MELL in the Calculus of Structures, Computer Science Logic LNCS, vol.2142, pp.54-68, 2001.
DOI : 10.1007/3-540-44802-0_5

A. Guglielmi and L. Straßburger, A Non-commutative Extension of MELL, Logic for Programming, Artificial Intelligence, and Reasoning , LPAR 2002, pp.231-246, 2002.
DOI : 10.1007/3-540-36078-6_16

A. Guglielmi, A system of interaction and structure, ACM Transactions on Computational Logic, vol.8, issue.1, 2007.
DOI : 10.1145/1182613.1182614
URL : https://hal.archives-ouvertes.fr/inria-00441254

O. Kahramano?-gullar?, System BV without the Equalities for Unit, 19th International Symposium on Computer and Information Sciences, pp.986-995, 2004.
DOI : 10.1007/978-3-540-30182-0_99

O. Kahramano?-gullar?, Reducing nondeterminism in the calculus of structures, Lecture Notes in Artificial Intelligence, vol.4246, pp.272-286, 2006.

O. Kahramano?-gullar?, System BV is NP-complete. Annals of Pure and Applied Logic, 2007.

O. Kahramano?-gullar?, Interaction and depth against nondeterminism in proof search, 2008.

D. Miller, Forum: A multiple-conclusion specification logic, Theoretical Computer Science, vol.165, issue.1, pp.201-232, 1996.
DOI : 10.1016/0304-3975(96)00045-X

M. Okada, Phase semantic cut-elimination and normalization proofs of first-and higherorder linear logic, Theoretical Computer Science, pp.333-396, 1999.

C. Retoré, Réseaux et Séquents Ordonnés, 1993.

C. Retoré, Pomset logic: A non-commutative extension of classical linear logic, Typed Lambda Calculus and Applications, TLCA'97, pp.300-318, 1997.
DOI : 10.1007/3-540-62688-3_43

L. Straßburger and A. Guglielmi, A system of interaction and structure IV: The exponentials and decomposition, 2009.

L. Straßburger, Linear Logic and Noncommutativity in the Calculus of Structures, 2003.

L. Straßburger, MELL in the calculus of structures, Theoretical Computer Science, vol.309, issue.1-3, pp.213-285, 2003.
DOI : 10.1016/S0304-3975(03)00240-8

L. Straßburger, System NEL is Undecidable, 10th Workshop on Logic, Language, Information and Computation, 2003.
DOI : 10.1016/S1571-0661(04)80853-3

A. Tiu, A System of Interaction and Structure II: The Need for Deep Inference, Logical Methods in Computer Science, vol.2, issue.2, pp.1-24, 2006.
DOI : 10.2168/LMCS-2(2:4)2006