G. Gentzen, Investigations into logical deductions The Collected Papers of Gerhard Gentzen, North-Holland, pp.68-131, 1969.

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. 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

J. Girard, On the unity of logic, Annals of Pure and Applied Logic, vol.59, issue.3, pp.201-217, 1993.
DOI : 10.1016/0168-0072(93)90093-S
URL : https://hal.archives-ouvertes.fr/inria-00075095

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, G. Nadathur, F. Pfenning, and A. Scedrov, Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic, vol.51, issue.1-2, pp.125-157, 1991.
DOI : 10.1016/0168-0072(91)90068-W

H. Herbelin, Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes, 1995.

R. Dyckhoff and S. Lengrand, LJQ: A Strongly Focused Calculus for Intuitionistic Logic, Computability in Europe 2006, pp.173-185, 2006.
DOI : 10.1090/trans2/094/02
URL : https://hal.archives-ouvertes.fr/hal-00150287

V. Danos, J. Joinet, and H. Schellinx, Abstract, The Journal of Symbolic Logic, vol.II, issue.03, pp.755-807, 1997.
DOI : 10.1007/BF00885763
URL : https://hal.archives-ouvertes.fr/inria-00528352

R. Jagadeesan, G. Nadathur, and V. Saraswat, Testing Concurrent Systems: An Interpretation of Intuitionistic Logic, FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, pp.517-528, 2005.
DOI : 10.1007/11590156_42

O. Laurent, M. Quatrini, and L. T. De-falco, Polarized and focalized linear and classical proofs, Annals of Pure and Applied Logic, vol.134, issue.2-3, pp.217-264, 2005.
DOI : 10.1016/j.apal.2004.11.002
URL : https://hal.archives-ouvertes.fr/hal-00009133

C. Liang and D. Miller, Focusing and Polarization in Intuitionistic Logic, CSL 2007, pp.451-465, 2007.
DOI : 10.1007/978-3-540-74915-8_34
URL : https://hal.archives-ouvertes.fr/inria-00167231

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

J. Girard, A new constructive logic: classic logic, Mathematical Structures in Computer Science, vol.7, issue.2, pp.255-296, 1991.
DOI : 10.1016/0304-3975(87)90045-4

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

K. Chaudhuri, The focused inverse method for linear logic, 2006.

D. Miller and V. Nigam, Incorporating Tables into Proofs, CSL 2007, pp.466-480, 2007.
DOI : 10.1007/978-3-540-74915-8_35
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.3026

K. Chaudhuri, D. Miller, and A. Saurin, Canonical sequent proofs via multifocusing, Fifth International Conference on Theoretical Computer Science, pp.383-396, 2008.
DOI : 10.1007/978-0-387-09680-3_26
URL : https://hal.archives-ouvertes.fr/hal-00527893

D. Baelde, A linear approach to the proof-theory of least and greatest fixed points, 2008.

D. Baelde and D. Miller, Least and greatest fixed points in linear logic, International Conference on Logic for Programming and Automated Reasoning (LPAR), pp.92-106, 2007.