@article(chaiken1989,
 author       = {Seth Chaiken and Neil V. Murray and Erik Rosenthal},
 year         = {1989},
 title        = {An application of {P}4-free graphs in theorem-proving},
 journal      = {Annals of the New York Academy of Sciences},
 volume       = {555},
 number       = {1},
 pages        = {106--121},
 doi          = {10.1111/j.1749-6632.1989.tb22442.x},
)
@article(corneil1981,
 author       = {D. G. Corneil and H. Lerchs and L. Stewart Burlingham},
 year         = {1981},
 title        = {Complement reducible graphs},
 journal      = {Discrete Applied Mathematics},
 volume       = {3},
 number       = {3},
 pages        = {163--174},
 doi          = {10.1016/0166-218X(81)90013-5},
)
@inproceedings(ehrhard2014,
 author       = {Thomas Ehrhard},
 year         = {2014},
 title        = {A new correctness criterion for {MLL} proof nets},
 booktitle    = {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}), {CSL}-{LICS} '14, {Vienna}, {Austria}, {July} 14 - 18, 2014},
 pages        = {38:1--38:10},
 doi          = {10.1145/2603088.2603125},
)
@article(ehrhard2017,
 author       = {Thomas Ehrhard},
 year         = {2017},
 title        = {An introduction to differential linear logic: proof-nets, models and antiderivatives},
 journal      = {Mathematical Structures in Computer Science},
 pages        = {1--66},
 doi          = {10.1017/S0960129516000372},
)
@article(ehrhard2006,
 author       = {Thomas Ehrhard and Laurent Regnier},
 year         = {2006},
 title        = {Differential interaction nets},
 journal      = {Theoretical Computer Science},
 volume       = {364},
 number       = {2},
 pages        = {166--195},
 doi          = {10.1016/j.tcs.2006.08.003},
)
@article(multiplicatives,
 author       = {Jean-Yves Girard},
 year         = {1987},
 title        = {Multiplicatives},
 journal      = {Rendiconti del Seminario Matematico. Universit\IeC{\'a} e Politecnico di Torino},
 volume       = {45},
 number       = {Special Issue},
)
@incollection(Girard-towards,
 author       = {Jean-Yves Girard},
 year         = {1989},
 title        = {Towards a Geometry of Interaction},
 editor       = {J. W. Gray and A. Scedrov},
 booktitle    = {Categories in Computer Science and Logic: Proc.\ of the Joint Summer Research Conference},
 publisher    = {American Mathematical Society},
 address      = {Providence, RI},
 pages        = {69--108},
 doi          = {10.1090/conm/092/1003197},
)
@inproceedings(girard1996,
 author       = {Jean-Yves Girard},
 year         = {1996},
 title        = {Proof-nets: {The} parallel syntax for proof-theory},
 booktitle    = {Logic and {Algebra}},
 publisher    = {Marcel Dekker},
 pages        = {97--124},
)
@article(girard2011,
 author       = {Jean-Yves Girard},
 year         = {2011},
 title        = {Geometry of {Interaction} {V}: {Logic} in the hyperfinite factor},
 journal      = {Theoretical Computer Science},
 volume       = {412},
 number       = {20},
 pages        = {1860--1883},
 doi          = {10.1016/j.tcs.2010.12.016},
)
@article(modular,
 author       = {Michel Habib and Christophe Paul},
 year         = {2010},
 title        = {A survey of the algorithmic aspects of modular decomposition},
 journal      = {Computer Science Review},
 volume       = {4},
 number       = {1},
 pages        = {41--59},
 doi          = {10.1016/j.cosrev.2010.01.001},
)
@inproceedings(hughes2016,
 author       = {Dominic Hughes and Willem Heijltjes},
 year         = {2016},
 title        = {Conflict nets:efficient locally canonical {MALL} proof nets},
 booktitle    = {Proceedings of the 31st {Annual} {ACM}/{IEEE} {Symposium} on {Logic} in {Computer} {Science} ({LICS}), 2016},
 publisher    = {ACM},
 address      = {New York, U. S. A.},
 pages        = {437--446},
 doi          = {10.1145/2933575.2934559},
)
@article(hughes2005,
 author       = {Dominic J. D. Hughes and Van Glabbeek, Rob J.},
 year         = {2005},
 title        = {Proof {Nets} for {Unit}-free {Multiplicative}-additive {Linear} {Logic}},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {6},
 number       = {4},
 pages        = {784--842},
 doi          = {10.1145/1094622.1094629},
)
@article(hughes2006,
 author       = {Dominic J.D. Hughes},
 year         = {2006},
 title        = {Proofs {Without} {Syntax}},
 journal      = {Annals of Mathematics},
 volume       = {143},
 number       = {3},
 pages        = {1065--1076},
 doi          = {10.4007/annals.2006.164.1065},
)
@article(hyland2003,
 author       = {Martin Hyland and Andrea Schalk},
 year         = {2003},
 title        = {Glueing and orthogonality for models of linear logic},
 journal      = {Theoretical Computer Science},
 volume       = {294},
 number       = {1},
 pages        = {183--231},
 doi          = {10.1016/S0304-3975(01)00241-9},
)
@article(kelly1980,
 author       = {G. M. Kelly and M. L. Laplaza},
 year         = {1980},
 title        = {Coherence for compact closed categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {19},
 pages        = {193--213},
 doi          = {10.1016/0022-4049(80)90101-2},
)
@article(semigroups,
 author       = {Ganna Kudryavtseva and Volodymyr Mazorchuk},
 year         = {2009},
 title        = {On three approaches to conjugacy in semigroups},
 journal      = {Semigroup Forum},
 volume       = {78},
 number       = {1},
 pages        = {14--20},
 doi          = {10.1007/s00233-008-9047-7},
)
@inproceedings(maurel2003,
 author       = {Fran\IeC{\c c}ois Maurel},
 year         = {2003},
 title        = {Nondeterministic {Light} {Logics} and {NP}-{Time}},
 booktitle    = {Typed {Lambda} {Calculi} and {Applications}},
 series       = {Lecture {Notes} in {Computer} {Science}},
 publisher    = {Springer, Berlin, Heidelberg},
 pages        = {241--255},
 doi          = {10.1007/3-540-44904-3_17},
)
@inbook(Seiller-Axioms,
 author       = {Alberto Naibo and Mattia Petrolo and Thomas Seiller},
 year         = {2016},
 title        = {On the Computational Meaning of Axioms},
 pages        = {141--184},
 publisher    = {Springer International Publishing},
 doi          = {10.1007/978-3-319-26506-3_5},
)
@article(pagani2012,
 author       = {Michele Pagani},
 year         = {2012},
 title        = {Visible acyclic differential nets, {Part} {I}: {Semantics}},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {163},
 number       = {3},
 pages        = {238--265},
 doi          = {10.1016/j.apal.2011.09.001},
)
@article(retore2003,
 author       = {Christian Retor\'e},
 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},
)
@article(Seiller2012,
 author       = {Thomas Seiller},
 year         = {2012},
 title        = {Interaction graphs: {Multiplicatives}},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {163},
 number       = {12},
 pages        = {1808--1837},
 doi          = {10.1016/j.apal.2012.04.005},
)
@phdthesis(seillerthese,
 author       = {Thomas Seiller},
 year         = {2012},
 title        = {Logique dans le {Facteur} {Hyperfini}: {G\'eom\'etrie} de l'{Interaction} et {Complexit\'e}},
 type         = {Th\`ese de doctorat},
 school       = {Aix-Marseille Universit\'e},
 url          = {https://tel.archives-ouvertes.fr/tel-00768403/document},
)
@article(Seiller2016,
 author       = {Thomas Seiller},
 year         = {2016},
 title        = {Interaction graphs: {Additives}},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {167},
 number       = {2},
 pages        = {95--154},
 doi          = {10.1016/j.apal.2015.10.001},
)
@article(Seiller2017,
 author       = {Thomas Seiller},
 year         = {2017},
 title        = {Interaction graphs: {Graphings}},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {168},
 number       = {2},
 pages        = {278--320},
 doi          = {10.1016/j.apal.2016.10.007},
)