Jean-Marc Andreoli (1992):
Logic programming with focusing proofs in linear logic.
Journal of Logic and Computation 2(3),
pp. 297–347,
doi:10.1093/logcom/2.3.297.
Taus Brock-Nannestad & Carsten Schürmann (2010):
Focused Natural Deduction.
In: C. Fermüller & A. Voronkov: LPAR-17,
LNCS 6397,
pp. 157–171,
doi:10.1007/978-3-642-16242-8_12.
Kaustuv Chaudhuri (2008):
Focusing Strategies in the Sequent Calculus of Synthetic Connectives.
In: I. Cervesato, H. Veith & A. Voronkov: LPAR'08,
LNCS 5330,
pp. 467–481,
doi:10.1007/978-3-540-89439-1_33.
Kaustuv Chaudhuri, Nicolas Guenot & Lutz Straßburger (2011):
The Focused Calculus of Structures.
In: M. Bezem: CSL'11,
LIPIcs 12,
pp. 159–173,
doi:10.4230/LIPIcs.CSL.2011.159.
Kaustuv Chaudhuri, Dale Miller & Alexis Saurin (2008):
Canonical Sequent Proofs via Multi-Focusing.
In: G. Ausiello, J. Karhumäki, G. Mauri & L. Ong: Fifth IFIP International Conference on Theoretical Computer Science 273,
pp. 383–396,
doi:10.1007/978-0-387-09680-3_26.
Jean-Yves Girard (1987):
Linear Logic.
Theoretical Computer Science 50,
pp. 1–102,
doi:10.1016/0304-3975(87)90045-4.
Jean-Yves Girard (1996):
Proof-nets : the parallel syntax for proof-theory.
In: A. Ursini & P. Agliano: Logic and Algebra.
M. Dekker, New York.
Stefano Guerrini, Simone Martini & Andrea Masini (2001):
Proof nets, Garbage, and Computations.
Theoretical Computer Science 253(2),
pp. 185–237,
doi:10.1016/S0304-3975(00)00094-3.
Olivier Laurent (2002):
Etude de la polarisation en logique.
Thèse de doctorat.
Université Aix-Marseille II.
Dale Miller & Alexis Saurin (2007):
From proofs to focused proofs : a modular proof of focalization in Linear Logic.
In: J. Duparc & T. A. Henzinger: CSL'07,
LNCS 4646,
pp. 405–419,
doi:10.1007/978-3-540-74915-8_31.
Alexis Saurin (2008):
Une étude logique du contrôle.
Thèse de doctorat.
École Polytechnique.
Robert J. Simmons (2014):
Structural Focalization.
ACM Trans. Comput. Log. 15(3),
pp. 21,
doi:10.1145/2629678.
Noam Zeilberger (2008):
On the unity of duality.
Annals of Pure and Applied Logic 153(1-3),
pp. 66–96,
doi:10.1016/j.apal.2008.01.001.