@inproceedings(accattoli:linear,
 author       = {Beniamino Accattoli},
 year         = {2013},
 title        = {{Linear Logic and Strong Normalization}},
 editor       = {Femke van Raamsdonk},
 booktitle    = {24th International Conference on Rewriting Techniques and Applications (RTA 2013)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {21},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {39--54},
 doi          = {10.4230/LIPIcs.RTA.2013.39},
)
@phdthesis(acc:phd,
 author       = {Matteo Acclavio},
 year         = {2016},
 title        = {String diagram rewriting: applications in category and proof theory},
 school       = {Aix-Marseille Universit{\'e}},
 url          = {matteoacclavio.com/Archive/PhdThesisAcclavio.pdf},
)
@article(acc:proofd,
 author       = {Matteo Acclavio},
 year         = {2019},
 title        = {Proof diagrams for multiplicative linear logic: Syntax and semantics},
 journal      = {Journal of Automated Reasoning},
 volume       = {63},
 number       = {4},
 pages        = {911--939},
 doi          = {10.1007/s10817-018-9466-4},
)
@inproceedings(acc:str:18,
 author       = {Matteo Acclavio and Stra{\ss}burger, Lutz},
 year         = {2018},
 title        = {From Syntactic Proofs to Combinatorial Proofs},
 editor       = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
 booktitle    = {Automated Reasoning},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {481--497},
 doi          = {10.1007/978-3-319-94205-6_32},
)
@inproceedings(acc:str:rel,
 author       = {Matteo Acclavio and Stra{\ss}burger, Lutz},
 year         = {2019},
 title        = {On Combinatorial Proofs for Logics of Relevance and Entailment},
 editor       = {Rosalie Iemhoff and Michael Moortgat and Ruy de Queiroz},
 booktitle    = {Logic, Language, Information, and Computation},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {1--16},
 doi          = {10.1007/978-3-662-59533-6_1},
)
@inproceedings(acc:str:CPK,
 author       = {Matteo Acclavio and Stra{\ss}burger, Lutz},
 year         = {2019},
 title        = {On Combinatorial Proofs for Modal Logic},
 editor       = {Serenella Cerrito and Andrei Popescu},
 booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {223--240},
 doi          = {10.1007/978-3-030-29026-9_13},
)
@inproceedings(bechet:etal:97,
 author       = {Denis Bechet and Philippe de Groote and Christian Retor{\'e}},
 year         = {1997},
 title        = {A complete axiomatisation for the inclusion of series-parallel partial orders},
 editor       = {Hubert Comon},
 booktitle    = {Rewriting Techniques and Applications},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {230--240},
 doi          = {10.1007/3-540-62950-5_74},
)
@inproceedings(brunnler:tiu:01,
 author       = {Kai Br{\"u}nnler and Alwen Fernanto Tiu},
 year         = {2001},
 title        = {A Local System for Classical Logic},
 editor       = {Robert Nieuwenhuis and Andrei Voronkov},
 booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {347--361},
 doi          = {10.1007/3-540-45653-8_24},
)
@article(cook:reckhow:79,
 author       = {Stephen A. Cook and Robert A. Reckhow},
 year         = {1979},
 title        = {The relative efficiency of propositional proof systems},
 journal      = {Journal of Symbolic Logic},
 volume       = {44},
 number       = {1},
 pages        = {36\IeC{\textendash}50},
 doi          = {10.2307/2273702},
)
@inproceedings(dan:reg:hilbert,
 author       = {V. Danos and L. Regnier},
 year         = {1995},
 title        = {Proof-Nets and the Hilbert Space},
 booktitle    = {Proceedings of the Workshop on Advances in Linear Logic},
 publisher    = {Cambridge University Press},
 address      = {USA},
 pages        = {307\IeC{\textendash}328},
 doi          = {10.1017/CBO9780511629150.016},
)
@phdthesis(danos:phd,
 author       = {Vincent Danos},
 year         = {1990},
 title        = {La logique lin\'eaire appliqu\'ee \`a l'\'etude de divers processus de normalisation (principalement du $\lambda$-calcul)},
 type         = {Th\`ese de {D}octorat},
 school       = {Universit\'e Paris VII},
)
@article(danos:regnier:89,
 author       = {Vincent Danos and Laurent Regnier},
 year         = {1989},
 title        = {The structure of multiplicatives},
 journal      = {Arch. Math. Log.},
 volume       = {28},
 number       = {3},
 pages        = {181--203},
 doi          = {10.1007/BF01622878},
)
@article(duffin:65,
 author       = {R.J Duffin},
 year         = {1965},
 title        = {Topology of series-parallel networks},
 journal      = {Journal of Mathematical Analysis and Applications},
 volume       = {10},
 number       = {2},
 pages        = {303--318},
 doi          = {10.1016/0022-247X(65)90125-3},
)
@inproceedings(ehrh,
 author       = {Thomas Ehrhard},
 year         = {2014},
 title        = {A New Correctness Criterion for MLL Proof Nets},
 booktitle    = {Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 series       = {CSL-LICS '14},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {1--10},
 doi          = {10.1145/2603088.2603125},
)
@article(gir:ll,
 author       = {Jean-Yves Girard},
 year         = {1987},
 title        = {Linear logic},
 journal      = {Theoretical Computer Science},
 volume       = {50},
 number       = {1},
 pages        = {1--101},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@article(GoI,
 author       = {Jean-Yves Girard},
 year         = {1989},
 title        = {Towards a geometry of interaction},
 journal      = {Contemporary Mathematics},
 volume       = {92},
 number       = {69-108},
 pages        = {6},
 doi          = {10.1090/conm/092/1003197},
)
@article(girard:98,
 author       = {Jean-Yves Girard},
 year         = {1998},
 title        = {Light Linear Logic},
 journal      = {Information and Computation},
 volume       = {143},
 number       = {2},
 pages        = {175--204},
 doi          = {10.1006/inco.1998.2700},
 url          = {https://www.sciencedirect.com/science/article/pii/S0890540198927006},
)
@inproceedings(guerrini:99,
 author       = {S. Guerrini},
 year         = {1999},
 title        = {Correctness of multiplicative proof nets is linear},
 booktitle    = {Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158)},
 pages        = {454--463},
 doi          = {10.1109/LICS.1999.782640},
)
@article(gug:SIS,
 author       = {Alessio Guglielmi},
 year         = {2007},
 title        = {A System of Interaction and Structure},
 journal      = {ACM Trans. Comput. Logic},
 volume       = {8},
 number       = {1},
 pages        = {1\IeC{\textendash}es},
 doi          = {10.1145/1182613.1182614},
)
@inproceedings(gug:str:01,
 author       = {Alessio Guglielmi and Stra{\ss}burger, Lutz},
 year         = {2001},
 title        = {Non-commutativity and {MELL} in the Calculus of Structures},
 editor       = {Laurent Fribourg},
 booktitle    = {Computer Science Logic},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {54--68},
 doi          = {10.1007/3-540-44802-0_5},
)
@inproceedings(heijltjes:houston:14,
 author       = {Willem Heijltjes and Robin Houston},
 year         = {2014},
 title        = {No Proof Nets for {MLL} with Units: Proof Equivalence in {MLL} is {PSPACE}-Complete},
 booktitle    = {Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 series       = {CSL-LICS '14},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {50:1--50:10},
 doi          = {10.1145/2603088.2603126},
)
@unpublished(hughes:simple-mult,
 author       = {Dominic Hughes},
 year         = {2005},
 title        = {Simple Multiplicative Proof Nets with Units},
 url          = {http://arxiv.org/abs/math.CT/0507003},
 note         = {Preprint},
)
@article(hughes:pws,
 author       = {Dominic J. D. Hughes},
 year         = {2006},
 title        = {Proofs without Syntax},
 journal      = {Annals of Mathematics},
 volume       = {164},
 number       = {3},
 pages        = {1065--1076},
 doi          = {10.2307/20160016},
)
@article(hughes:invar,
 author       = {Dominic J.D. Hughes},
 year         = {2006},
 title        = {Towards Hilbert's 24th Problem: Combinatorial Proof Invariants: (Preliminary version)},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {165},
 pages        = {37--63},
 doi          = {10.1016/j.entcs.2006.05.036},
 note         = {Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006)},
)
@article(kopylov:decidability,
 author       = {A.P Kopylov},
 year         = {2001},
 title        = {Decidability of Linear Affine Logic},
 journal      = {Information and Computation},
 volume       = {164},
 number       = {1},
 pages        = {173--198},
 doi          = {10.1006/inco.1999.2834},
)
@inproceedings(lafont:89,
 author       = {Yves Lafont},
 year         = {1989},
 title        = {Interaction nets},
 booktitle    = {Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 pages        = {95--108},
)
@incollection(lafont:95,
 author       = {Yves Lafont},
 year         = {1995},
 title        = {From Proof Nets to Interaction Nets},
 editor       = {J.-Y. Girard and Y. Lafont and L. Regnier},
 booktitle    = {Advances in Linear Logic},
 series       = {London Mathematical Society Lecture Notes},
 volume       = {222},
 publisher    = {Cambridge University Press},
 pages        = {225--247},
 doi          = {10.1017/CBO9780511629150.012},
)
@article(lafont2004soft,
 author       = {Yves Lafont},
 year         = {2004},
 title        = {Soft linear logic and polynomial time},
 journal      = {Theoretical Computer Science},
 volume       = {318},
 number       = {1},
 pages        = {163--180},
 doi          = {10.1016/j.tcs.2003.10.018},
 note         = {Implicit Computational Complexity},
)
@techreport(lamarche:essential,
 author       = {Fran\c{c}ois Lamarche},
 year         = {1994},
 title        = {Proof nets for intuitionistic linear logic {I}: {E}ssential nets},
 type         = {Technical Report},
 institution  = {Imperial College, London},
)
@phdthesis(phd:laurent,
 author       = {Olivier Laurent},
 year         = {2002},
 title        = {{{\'E}tude de la polarisation en logique}},
 type         = {Theses},
 school       = {{Universit{\'e} de la M{\'e}diterran{\'e}e - Aix-Marseille II}},
 url          = {https://tel.archives-ouvertes.fr/tel-00007884},
)
@article(lau:pol,
 author       = {Olivier Laurent},
 year         = {2020},
 title        = {{Polynomial time in untyped elementary linear logic}},
 journal      = {{Theoretical Computer Science}},
 volume       = {813},
 pages        = {117--142},
 doi          = {10.1016/j.tcs.2019.10.002},
)
@inproceedings(mazza:05,
 author       = {Damiano Mazza},
 year         = {2005},
 title        = {Multiport Interaction Nets and Concurrency},
 editor       = {Mart{\'i}n Abadi and Luca de Alfaro},
 booktitle    = {CONCUR 2005 -- Concurrency Theory},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {21--35},
 doi          = {10.1007/11539452_6},
)
@inproceedings(thom:tit,
 author       = {L\^e Th\`anh D\~ung Nguyen and Thomas Seiller},
 year         = {2019},
 title        = {Coherent Interaction Graphs},
 editor       = {Thomas Ehrhard and Maribel Fern\'andez and Valeria de Paiva and Tortora de Falco, Lorenzo},
 booktitle    = {{\rm Proceedings Joint International Workshop on} Linearity \& Trends in Linear Logic and Applications, {\rm Oxford, UK, 7-8 July 2018}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {292},
 publisher    = {Open Publishing Association},
 pages        = {104--117},
 doi          = {10.4204/EPTCS.292.6},
)
@inproceedings(ral:str:epiccube,
 author       = {Benjamin Ralph and Stra{\ss}burger, Lutz},
 year         = {2019},
 title        = {Towards a Combinatorial Proof Theory},
 editor       = {Serenella Cerrito and Andrei Popescu},
 booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {259--276},
 doi          = {10.1007/978-3-030-29026-9_15},
)
@phdthesis(phd:regnier,
 author       = {Laurent Regnier},
 year         = {1992},
 title        = {Lambda-calcul et r{\'e}seaux},
 school       = {Paris 7},
)
@mastersthesis(ret:DEA,
 author       = {Christian Retor{\'e}},
 year         = {1987},
 title        = {{Le syst\`eme F en logique lin\'eaire}},
 school       = {Universit\'e Paris 7},
 address      = {Paris},
)
@phdthesis(retore:phd,
 author       = {Christian Retor{\'e}},
 year         = {1993},
 title        = {{R{\'e}seaux et s{\'e}quents ordonn{\'e}s}},
 type         = {Theses},
 school       = {{Universit{\'e} Paris-Diderot - Paris VII}},
 url          = {https://tel.archives-ouvertes.fr/tel-00585634},
)
@article(retore:96:lambek,
 author       = {Christian Retor\'e},
 year         = {1996},
 title        = {Calcul de {L}ambek et Logique Lin{\'e}aire},
 journal      = {Traitement Automatique des Langues},
 volume       = {37},
 number       = {2},
 pages        = {39--70},
)
@article(retore:96:tokyo,
 author       = {Christian Retor{\'e}},
 year         = {1996},
 title        = {Perfect matchings and series-parallel graphs: multiplicatives proof nets as R{\&}B-graphs.},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {3},
 doi          = {10.1016/S1571-0661(05)80416-5},
)
@techreport(ret:99,
 author       = {Christian Retor{\'e}},
 year         = {1999},
 title        = {{Handsome Proof-nets: R\&B-Graphs, Perfect Matchings and Series-parallel Graphs}},
 type         = {Research Report},
 number       = {RR-3652},
 institution  = {{INRIA}},
 url          = {https://hal.inria.fr/inria-00073020},
)
@incollection(retore:98,
 author       = {Christian Retor\'e},
 year         = {1999},
 title        = {Pomset logic as a calculus of directed cographs},
 editor       = {V. M. Abrusci and C. Casadio},
 booktitle    = {Dynamic Perspectives in Logic and Linguistics: Proof Theoretical Dimensions of Communication Processes,Proceedings of the 4th Roma Workshop},
 publisher    = {Bulzoni},
 address      = {Roma},
 pages        = {221--247},
 note         = {INRIA Research Report RR-3714 \url{https://hal.inria.fr/inria-00072953}},
)
@incollection(retore:99,
 author       = {Christian Retor\'e},
 year         = {1999},
 title        = {Pomset Logic as a Calculus of Directed Cographs},
 editor       = {V. M. Abrusci and C. Casadio},
 booktitle    = {Dynamic Perspectives in Logic and Linguistics},
 publisher    = {Bulzoni},
 address      = {Roma},
 pages        = {221--247},
 note         = {Also available as INRIA Rapport de Recherche RR-3714},
)
@incollection(retore:21,
 author       = {Christian Retor\'e},
 year         = {2021},
 title        = {Pomset logic: The other approach to non commutativity in logic},
 editor       = {Claudia Casadio and Philip J. Scott},
 booktitle    = {Joachim Lambek: on the interplay of mathematics, logic and linguistics},
 series       = {Outstanding contributions to logic},
 publisher    = {Springer Verlag},
 pages        = {299--246},
 doi          = {10.1007/978-3-030-66545-6},
)
@article(retore:03,
 author       = {Retor\IeC{\'e}, Christian},
 year         = {2003},
 title        = {Handsome proof-nets: perfect matchings and cographs},
 journal      = {Theoretical Computer Science},
 volume       = {294},
 number       = {3},
 pages        = {473--488},
 doi          = {10.1016/S0304-3975(01)00175-X},
 note         = {Linear Logic},
)
@phdthesis(str:phd,
 author       = {Stra{\ss}burger, Lutz},
 year         = {2003},
 title        = {Linear Logic and Noncommutativity in the Calculus of Structures},
 school       = {Technische Universit\"at Dresden},
)
@inproceedings(str:07:RTA,
 author       = {Stra{\ss}burger, Lutz},
 year         = {2007},
 title        = {A Characterization of Medial as Rewriting Rule},
 editor       = {Franz Baader},
 booktitle    = {Term Rewriting and Applications},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {344--358},
 doi          = {10.1007/978-3-540-73449-9_26},
)
@inproceedings(str:FSCD17,
 author       = {Stra{\ss}burger, Lutz},
 year         = {2017},
 title        = {{Combinatorial Flows and Their Normalisation}},
 editor       = {Dale Miller},
 booktitle    = {2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {84},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {31:1--31:17},
 doi          = {10.4230/LIPIcs.FSCD.2017.31},
)
@article(str:MELL,
 author       = {Stra\IeC{\ss}burger, Lutz},
 year         = {2003},
 title        = {MELL in the calculus of structures},
 journal      = {Theoretical Computer Science},
 volume       = {309},
 number       = {1},
 pages        = {213--285},
 doi          = {10.1016/S0304-3975(03)00240-8},
)
@article(str:decision,
 author       = {Stra\IeC{\ss}burger, Lutz},
 year         = {2019},
 title        = {On the decision problem for {MELL}},
 journal      = {Theoretical Computer Science},
 volume       = {768},
 pages        = {91--98},
 doi          = {10.1016/j.tcs.2019.02.022},
)
@misc(tortora:additives2,
 author       = {{Tortora de Falco}, Lorenzo},
 year         = {2000},
 title        = {Additives of linear logic and normalization--Part II: the additive standardization theorem},
)
@article(tortora:additives1,
 author       = {{Tortora de Falco}, Lorenzo},
 year         = {2003},
 title        = {Additives of linear logic and normalization\IeC{\textemdash}Part I: a (restricted) Church--Rosser property},
 journal      = {Theoretical Computer Science},
 volume       = {294},
 number       = {3},
 pages        = {489--524},
 doi          = {10.1016/S0304-3975(01)00176-1},
)
@book(troelstra:schwichtenberg:00,
 author       = {Anne Sjerp Troelstra and Helmut Schwichtenberg},
 year         = {2000},
 title        = {Basic proof theory, Second Edition},
 series       = {Cambridge tracts in theoretical computer science},
 volume       = {43},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139168717},
)