@article(andreoli:92:foc,
 author       = "Jean-Marc Andreoli",
 year         = "1992",
 title        = "Logic programming with focusing proofs in linear logic",
 journal      = "Journal of Logic and Computation",
 volume       = "2",
 number       = "3",
 pages        = "297--347",
 doi          = "10.1093/logcom/2.3.297",
)
@inproceedings(brocknannestad:schuermann:10:focnd,
 author       = "Taus Brock-Nannestad and Carsten Sch{\"u}rmann",
 year         = "2010",
 title        = "Focused Natural Deduction",
 editor       = "C. Ferm{\"u}ller and A. Voronkov",
 booktitle    = "LPAR-17",
 series       = "LNCS",
 volume       = "6397",
 pages        = "157--171",
 doi          = "10.1007/978-3-642-16242-8\_12",
)
@inproceedings(chaudhuri:08:synth,
 author       = "Kaustuv Chaudhuri",
 year         = "2008",
 title        = "Focusing Strategies in the Sequent Calculus of Synthetic Connectives",
 editor       = "I. Cervesato and H. Veith and A. Voronkov",
 booktitle    = "LPAR'08",
 series       = "LNCS",
 volume       = "5330",
 pages        = "467--481",
 doi          = "10.1007/978-3-540-89439-1\_33",
)
@inproceedings(chaudhuri:guenot:strassburger:11:foccos,
 author       = "Kaustuv Chaudhuri and Nicolas Guenot and Lutz Stra{\ss }burger",
 year         = "2011",
 title        = "The Focused Calculus of Structures",
 editor       = "M. Bezem",
 booktitle    = "CSL'11",
 series       = "LIPIcs",
 volume       = "12",
 pages        = "159--173",
 doi          = "10.4230/LIPIcs.CSL.2011.159",
)
@inproceedings(chaudhuri:miller:saurin:08:mfoc,
 author       = "Kaustuv Chaudhuri and Dale Miller and Alexis Saurin",
 year         = "2008",
 title        = "Canonical Sequent Proofs via Multi-Focusing",
 editor       = "G. Ausiello and J. Karhum{\"a}ki and G. Mauri and L. Ong",
 booktitle    = "Fifth IFIP International Conference on Theoretical Computer Science",
 volume       = "273",
 pages        = "383--396",
 doi          = "10.1007/978-0-387-09680-3\_26",
)
@article(girard:87:ll,
 author       = "Jean-Yves Girard",
 year         = "1987",
 title        = "Linear Logic",
 journal      = "Theoretical Computer Science",
 volume       = "50",
 pages        = "1--102",
 doi          = "10.1016/0304-3975(87)90045-4",
)
@inproceedings(girard:96:pn,
 author       = "Jean-Yves Girard",
 year         = "1996",
 title        = "Proof-nets : the parallel syntax for proof-theory",
 editor       = "A. Ursini and P. Agliano",
 booktitle    = "Logic and Algebra",
 publisher    = "M. Dekker, New York",
)
@article(guerrini:martini:masini:01:pngc,
 author       = "Stefano Guerrini and Simone Martini and Andrea Masini",
 year         = "2001",
 title        = "Proof nets, Garbage, and Computations",
 journal      = "Theoretical Computer Science",
 volume       = "253",
 number       = "2",
 pages        = "185--237",
 doi          = "10.1016/S0304-3975(00)00094-3",
)
@phdthesis(laurent:phd,
 author       = "Olivier Laurent",
 year         = "2002",
 title        = "Etude de la polarisation en logique",
 type         = "Th\`ese de doctorat",
 school       = "{U}niversit\'e {A}ix-{M}arseille~{II}",
)
@inproceedings(miller:saurin:07:focg,
 author       = "Dale Miller and Alexis Saurin",
 year         = "2007",
 title        = "From proofs to focused proofs : a modular proof of focalization in Linear Logic",
 editor       = "J. Duparc and T. A. Henzinger",
 booktitle    = "CSL'07",
 series       = "LNCS",
 volume       = "4646",
 pages        = "405--419",
 doi          = "10.1007/978-3-540-74915-8\_31",
)
@phdthesis(saurin:phd,
 author       = "Alexis Saurin",
 year         = "2008",
 title        = "Une \'etude logique du contr\^ole",
 type         = "Th\`ese de doctorat",
 school       = "\'Ecole Polytechnique",
)
@article(simmons:14:strfoc,
 author       = "Robert J. Simmons",
 year         = "2014",
 title        = "Structural Focalization",
 journal      = "{ACM} Trans. Comput. Log.",
 volume       = "15",
 number       = "3",
 pages        = "21",
 doi          = "10.1145/2629678",
)
@article(zeilberger:08:unidual,
 author       = "Noam Zeilberger",
 year         = "2008",
 title        = "On the unity of duality",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "153",
 number       = "1-3",
 pages        = "66--96",
 doi          = "10.1016/j.apal.2008.01.001",
)