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

A. Barber and G. Plotkin, Dual intuitionistic linear logic, 1996.

B. E. Chang, K. Chaudhuri, and F. Pfenning, A judgmental analysis of linear logic, 2003.

K. Chaudhuri, The Focused Inverse Method for Linear Logic, 2006.

K. Chaudhuri, Focusing Strategies in the Sequent Calculus of Synthetic Connectives, LPAR- 15, pp.467-481, 2008.
DOI : 10.1007/978-3-540-89439-1_33

K. Chaudhuri, Classical and Intuitionistic Subexponential Logics Are Equally Expressive, 2010.
DOI : 10.1007/978-3-642-15205-4_17
URL : https://hal.archives-ouvertes.fr/inria-00534865

K. Chaudhuri, F. Pfenning, and G. Price, A Logical Characterization of Forward and Backward Chaining in the Inverse Method, Journal of Automated Reasoning, vol.2, issue.5, pp.133-177, 2008.
DOI : 10.1007/s10817-007-9091-0

V. Danos, J. Joinet, and H. Schellinx, The structure of exponentials: Uncovering the dynamics of linear logic proofs, In KGC, vol.713, pp.159-171, 1993.
DOI : 10.1007/BFb0022564

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

O. Laurent, Etude de la polarisation en logique, Thèse de doctorat, 2002.
URL : https://hal.archives-ouvertes.fr/tel-00007884

C. Liang and D. Miller, Focusing and polarization in linear, intuitionistic, and classical logics, Theoretical Computer Science, vol.410, issue.46, pp.4747-4768, 2009.
DOI : 10.1016/j.tcs.2009.07.041

C. Liang and D. Miller, A Unified Sequent Calculus for Focused Proofs, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.355-364, 2009.
DOI : 10.1109/LICS.2009.47

D. Miller, Finding unity in computational logic, ACM-BCS-Visions, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00772557

V. Nigam, Exploiting non-canonicity in the sequent calculus, 2009.
URL : https://hal.archives-ouvertes.fr/pastel-00005487

V. Nigam and D. Miller, Algorithmic specifications in linear logic with subexponentials, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, PPDP '09, pp.129-140, 2009.
DOI : 10.1145/1599410.1599427

H. Schellinx, Some Syntactical Observations on Linear Logic, Journal of Logic and Computation, vol.1, issue.4, pp.537-559, 1991.
DOI : 10.1093/logcom/1.4.537