@inproceedings(BGR97,
 author       = {Denis Bechet and Philippe de Groote and Christian Retor\'e},
 year         = {1997},
 title        = {A complete axiomatisation of the inclusion of series-parallel partial orders},
 editor       = {H. Comon},
 booktitle    = {Rewriting Techniques and Applications, RTA`97},
 series       = {LNCS},
 volume       = {1232},
 publisher    = {Springer Verlag},
 pages        = {230--240},
 doi          = {10.1007/3-540-62950-5_74},
)
@article(Ehr93,
 author       = {Thomas Ehrhard},
 year         = {1993},
 title        = {Hypercoherences: a strongly stable model of linear logic},
 journal      = {Mathematical {S}tructures in {C}omputer {S}cience},
 volume       = {3},
 number       = {4},
 pages        = {365--385},
 doi          = {10.1017/S0960129500000281},
)
@article(Gen34,
 author       = {Gehrard Gentzen},
 year         = {1934},
 title        = {Untersuchungen {\"u}ber das logische {S}chlie\ss en {I}},
 journal      = {Mathematische {Z}eitschrift},
 volume       = {39},
 pages        = {176--210},
 doi          = {10.1007/BF01201353},
 note         = {Traduction Fran\c caise de R.~Feys et J.~Ladri\`ere: Recherches sur la d\'eduction logique, Presses Universitaires de France, Paris, 1955},
)
@article(Gir86,
 author       = {Jean-Yves Girard},
 year         = {1986},
 title        = {The System {F} of Variable Types: Fifteen Years Later},
 journal      = {Theoretical Computer Science},
 volume       = {45},
 pages        = {159--192},
 doi          = {10.1016/0304-3975(86)90044-7},
)
@article(Gir87,
 author       = {Jean-Yves Girard},
 year         = {1987},
 title        = {Linear Logic},
 journal      = {Theoretical Computer Science},
 volume       = {50},
 number       = {1},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@article(Gir91,
 author       = {Jean-Yves Girard},
 year         = {1991},
 title        = {A new constructive logic: classical logic},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {1},
 number       = {3},
 pages        = {255--296},
 doi          = {10.1017/S0960129500001328},
)
@book(Girard2011blindspot,
 author       = {Jean-Yves Girard},
 year         = {2011},
 title        = {The blind spot -- lectures on logic},
 publisher    = {European Mathematical Society},
 doi          = {10.4171/088},
)
@techreport(Gug99,
 author       = {Alessio Guglielmi},
 year         = {1999},
 title        = {A Calculus of Order and Interaction},
 type         = {Technical Report},
 number       = {WV-99-04},
 institution  = {Dresden University of Technology},
)
@article(Gug2007,
 author       = {Alessio Guglielmi},
 year         = {2007},
 title        = {A System of Interaction and Structure},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {8},
 number       = {1},
 pages        = {1--64},
 doi          = {10.1145/1182613.1182614},
)
@misc(gug2017lyon,
 author       = {Alessio Guglielmi},
 year         = {2017},
 title        = {Decoupling normalization mechanisms with an eye toward concurrency},
 howpublished = {Talk at ENS LYON seminar: programs and proofs.},
 note         = {Slides: \url{http://cs.bath.ac.uk/ag/t/DNMWAETC.pdf}},
)
@inproceedings(GugStr01,
 author       = {Alessio Guglielmi and Stra{\ss}burger, Lutz},
 year         = {2001},
 title        = {Non-commutativity and {MELL} in the Calculus of Structures},
 editor       = {L. Fribourg},
 booktitle    = {CSL 2001},
 series       = {Lecture Notes in Computer Science},
 volume       = {2142},
 publisher    = {Springer-Verlag},
 pages        = {54--68},
 doi          = {10.1007/3-540-44802-0_5},
)
@article(GugStrass2011tcl,
 author       = {Alessio Guglielmi and {Stra{\ss}burger}, Lutz},
 year         = {2011},
 title        = {A System of Interaction and Structure IV: The Exponentials and Decomposition},
 journal      = {ACM transaction of computational logic},
 volume       = {12},
 number       = {4},
 pages        = {23},
 doi          = {10.1145/1970398.1970399},
)
@incollection(GuoSurmacs2018dicographs,
 author       = {Yubao Guo and Michel Surmacs},
 year         = {2018},
 title        = {Miscellaneous Digraph Classes},
 editor       = {Bang-Jensen, J. and G. Gutin},
 booktitle    = {Classes of Directed Graphs},
 chapter      = {11},
 publisher    = {Springer},
 pages        = {517--574},
 doi          = {10.1007/978-3-319-71840-8_11},
)
@inproceedings(Loader94,
 author       = {Ralph Loader},
 year         = {1994},
 title        = {Linear Logic, Totality and Full Completeness},
 booktitle    = {LICS: IEEE symposium on Logic In Computer Science},
 pages        = {292--298},
 doi          = {10.1109/LICS.1994.316060},
)
@misc(nguyen2019proof,
 author       = {L{\^e} Th{\`a}nh D{\~u}ng Nguy{\^e}n},
 year         = {2019},
 title        = {Proof nets through the lens of graph theory: a compilation of remarks},
 url          = {https://arxiv.org/abs/1912.10606},
)
@unpublished(NguyenStrass2021,
 author       = {Tito Nguyen and Stra{\ss}burger, Lutz},
 year         = {2021},
 title        = {A complexity gap between pomset logic and system BV},
 note         = {Talk at the informal workshop on Proof-Net of the GDR-I Linear Logic},
)
@phdthesis(Qua95,
 author       = {Myriam Quatrini},
 year         = {1995},
 title        = {S\'emantique coh\'erente des exponentielles: de la logique lin\'eaire \`a la logique classique},
 type         = {Th\`ese de {D}octorat, sp\'ecialit\'e {M}ath\'ematiques},
 school       = {Universit\'e Aix-Marseille 2},
)
@phdthesis(Ret93,
 author       = {Christian Retor\'e},
 year         = {1993},
 title        = {R\'eseaux et S\'equents Ordonn\'es},
 type         = {Th\`ese de {D}octorat, sp\'ecialit\'e {M}ath\'ematiques},
 school       = {Universit\'e Paris 7},
 url          = {https://tel.archives-ouvertes.fr/tel-00585634},
)
@techreport(Ret94rc,
 author       = {Christian Retor\'e},
 year         = {1994},
 title        = {On the relation between coherence semantics and multiplicative proof nets},
 type         = {Rapport de {R}echerche},
 number       = {RR-2430},
 institution  = {INRIA},
 url          = {https://hal.inria.fr/inria-00074245},
)
@techreport(Ret94mod,
 author       = {Christian Retor\'e},
 year         = {1994},
 title        = {A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences.},
 type         = {Rapport de {R}echerche},
 number       = {RR-2432},
 institution  = {INRIA},
 url          = {https://hal.inria.fr/inria-00074243},
)
@inproceedings(Ret94caen,
 author       = {Christian Retor\'e},
 year         = {1994},
 title        = {Une modalit\'e autoduale pour le connecteur ``pr\'ec\`ede''},
 editor       = {Pierre Ageron},
 booktitle    = {Cat\'egories, Alg\`ebres, Esquisses et N\'eo-Esquisses},
 series       = {Publications du D\'epartement de Math\'ematiques, Universit\'e de Caen},
 pages        = {11--16},
)
@inproceedings(Ret96entcs,
 author       = {Christian Retor\'{e}},
 year         = {1996},
 title        = {Perfect matchings and series-parallel graphs: multiplicative proof nets as {R}\&{B}-graphs},
 editor       = {J.-Y. Girard and M. Okada and A. Scedrov},
 booktitle    = {Linear`96},
 series       = {Electronic Notes in Theoretical Science},
 volume       = {3},
 publisher    = {Elsevier},
 pages        = {167--182},
 doi          = {10.1016/S1571-0661(05)80416-5},
 note         = {Http://www.elsevier.nl/},
)
@inproceedings(Ret97tlca,
 author       = {Christian Retor\'e},
 year         = {1997},
 title        = {Pomset logic: a non-commutative extension of classical linear logic},
 editor       = {Philippe de Groote and James Roger Hindley},
 booktitle    = {Typed Lambda Calculus and Applications, TLCA'97},
 series       = {LNCS},
 volume       = {1210},
 pages        = {300--318},
 doi          = {10.1007/3-540-62688-3_43},
)
@article(Ret97,
 author       = {Christian Retor\'e},
 year         = {1997},
 title        = {A semantic characterisation of the correctness of a proof net},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {7},
 number       = {5},
 pages        = {445--452},
 doi          = {10.1017/S096012959700234X},
)
@incollection(Ret98roma,
 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(Retore2021Lambek,
 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(Slavnov2019,
 author       = {Sergey Slavnov},
 year         = {2019},
 title        = {{On noncommutative extensions of linear logic}},
 journal      = {{Logical Methods in Computer Science}},
 volume       = {{Volume 15, Issue 3}},
 doi          = {10.23638/LMCS-15(3:30)2019},
 url          = {https://lmcs.episciences.org/5774},
)
@book(Tro92,
 author       = {Anne Sjerp Troelstra},
 year         = {1992},
 title        = {Lectures on Linear Logic},
 series       = {CSLI Lecture Notes},
 volume       = {29},
 publisher    = {CSLI},
 note         = {(distributed by Cambridge University Press)},
)