@article(AbramskyShah18,
 author       = {Samson Abramsky and Nihil Shah},
 year         = {2018},
 title        = {Relating {{Structure}} and {{Power}}: {{Comonadic Semantics}} for {{Computational Resources}}},
 journal      = {arXiv:1806.09031 [cs]},
 doi          = {10.4230/LIPIcs.CSL.2018.2},
)
@article(BagetMugnier02,
 author       = {J.~F. Baget and M.~L. Mugnier},
 year         = {2002},
 title        = {Extensions of {{Simple Conceptual Graphs}}: The {{Complexity}} of {{Rules}} and {{Constraints}}},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {16},
 pages        = {425--465},
 doi          = {10.1613/jair.918},
)
@article(BonchiEtAl18,
 author       = {Filippo Bonchi and Jens Seeber and Pawel Sobocinski},
 year         = {2018},
 title        = {Graphical {{Conjunctive Queries}}},
 journal      = {arXiv:1804.07626 [cs]},
 doi          = {10.4230/LIPIcs.CSL.2018.13},
)
@article(Bulatov17,
 author       = {Andrei~A. Bulatov},
 year         = {2017},
 title        = {A Dichotomy Theorem for Nonuniform {{CSPs}}},
 journal      = {arXiv:1703.03021 [cs]},
 doi          = {10.1109/FOCS.2017.37},
)
@article(BuszkowskiMoroz08,
 author       = {Wojciech Buszkowski and Katarzyna Moroz},
 year         = {2008},
 title        = {Pregroup {{Grammars}} and {{Context}}-Free {{Grammars}}},
 journal      = {Computational Algebraic Approaches to Natural Language, Polimetrica},
 volume       = {121},
)
@article(CarboniWalters87,
 author       = {A.~Carboni and R.~F.~C. Walters},
 year         = {1987},
 title        = {Cartesian Bicategories {{I}}},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {49},
 number       = {1},
 pages        = {11--32},
 doi          = {10.1016/0022-4049(87)90121-6},
)
@inproceedings(ChandraMerlin77,
 author       = {Ashok~K. Chandra and Philip~M. Merlin},
 year         = {1977},
 title        = {Optimal Implementation of Conjunctive Queries in Relational Data Bases},
 booktitle    = {Proceedings of the Ninth Annual {{ACM}} Symposium on {{Theory}} of Computing - {{STOC}} '77},
 publisher    = {{ACM Press}},
 address      = {{Boulder, Colorado, United States}},
 pages        = {77--90},
 doi          = {10.1145/800105.803397},
)
@article(ChekuriRajaraman00,
 author       = {Chandra Chekuri and Anand Rajaraman},
 year         = {2000},
 title        = {Conjunctive Query Containment Revisited},
 journal      = {Theoretical Computer Science},
 pages        = {19},
 doi          = {10.1016/S0304-3975(99)00220-0},
)
@inproceedings(ClarkEtAl08,
 author       = {Stephen Clark and Bob Coecke and Mehrnoosh Sadrzadeh},
 year         = {2008},
 title        = {A {{Compositional Distributional Model}} of {{Meaning}}},
 booktitle    = {Proceedings of the {{Second Symposium}} on {{Quantum Interaction}} ({{QI}}-2008)},
 pages        = {133--140},
)
@incollection(ClarkEtAl10,
 author       = {Stephen Clark and Bob Coecke and Mehrnoosh Sadrzadeh},
 year         = {2010},
 title        = {Mathematical Foundations for a Compositional Distributional Model of Meaning},
 editor       = {J.~{van Benthem} and M.~Moortgat and W.~Buszkowski},
 booktitle    = {A {{Festschrift}} for {{Jim Lambek}}},
 series       = {Linguistic {{Analysis}}},
 volume       = {36},
 pages        = {345--384},
 url          = {https://arxiv.org/abs/1003.4394},
)
@article(CoeckeEtAl18a,
 author       = {Bob Coecke and {de Felice}, Giovanni and Dan Marsden and Alexis Toumi},
 year         = {2018},
 title        = {Towards {{Compositional Distributional Discourse Analysis}}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {283},
 pages        = {1--12},
 doi          = {10.4204/EPTCS.283.1},
)
@article(CoeckeEtAl18,
 author       = {Bob Coecke and Fabrizio Genovese and Martha Lewis and Dan Marsden and Alex Toumi},
 year         = {2018},
 title        = {Generalized Relations in Linguistics \& Cognition},
 journal      = {Theoretical Computer Science},
 doi          = {10.1016/j.tcs.2018.03.008},
)
@article(FongSpivak18a,
 author       = {Brendan Fong and David~I. Spivak},
 year         = {2018},
 title        = {Graphical {{Regular Logic}}},
 journal      = {arXiv:1812.05765},
 url          = {https://arxiv.org/abs/1812.05765},
)
@book(GareyJohnson90,
 author       = {Michael~R. Garey and David~S. Johnson},
 year         = {1990},
 title        = {Computers and {{Intractability}}; {{A Guide}} to the {{Theory}} of {{NP}}-{{Completeness}}},
 publisher    = {{W. H. Freeman \& Co.}},
 address      = {{New York, NY, USA}},
)
@article(JoyalStreet88,
 author       = {Andr{\'e} Joyal and Ross Street},
 year         = {1988},
 title        = {Planar Diagrams and Tensor Algebra},
)
@inproceedings(Lambek99,
 author       = {Joachim Lambek},
 year         = {1999},
 title        = {Type {{Grammar Revisited}}},
 editor       = {Alain Lecomte and Fran{\c c}ois Lamarche and Guy Perrier},
 booktitle    = {Logical {{Aspects}} of {{Computational Linguistics}}},
 publisher    = {{Springer Berlin Heidelberg}},
 address      = {{Berlin, Heidelberg}},
 pages        = {1--27},
 doi          = {10.1016/0168-0072(94)00063-9},
)
@book(Lambek08,
 author       = {Joachim Lambek},
 year         = {2008},
 title        = {From {{Word}} to {{Sentence}}: {{A Computational Algebraic Approach}} to {{Grammar}}},
 series       = {Open Access Publications},
 publisher    = {{Polimetrica}},
)
@inproceedings(moroz2011,
 author       = {Katarzyna Moroz},
 year         = {2011},
 title        = {A {{Savateev}}-{{Style Parsing Algorithm}} for {{Pregroup Grammars}}},
 booktitle    = {Formal {{Grammar}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer}},
 address      = {{Berlin, Heidelberg}},
 pages        = {133--149},
 doi          = {10.1007/978-3-642-20169-1\_9},
)
@article(Patterson17,
 author       = {Evan Patterson},
 year         = {2017},
 title        = {Knowledge {{Representation}} in {{Bicategories}} of {{Relations}}},
 journal      = {arXiv:1706.00526 [cs, math]},
)
@article(Preller07a,
 author       = {Anne Preller},
 year         = {2007},
 title        = {Linear {{Processing}} with {{Pregroups}}},
 journal      = {Studia Logica: An International Journal for Symbolic Logic},
 volume       = {87},
 number       = {2/3},
 pages        = {171--197},
 doi          = {10.1007/s11225-007-9087-0},
)
@article(Preller14a,
 author       = {Anne Preller},
 year         = {2014},
 title        = {From {{Logical}} to {{Distributional Models}}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {171},
 pages        = {113--131},
 doi          = {10.4204/EPTCS.171.11},
)
@article(Preller14,
 author       = {Anne Preller},
 year         = {2014},
 title        = {Natural Language Semantics in Biproduct Dagger Categories},
 journal      = {J. Applied Logic},
 volume       = {12},
 number       = {1},
 pages        = {88--108},
 doi          = {10.1016/j.jal.2013.08.001},
)
@article(PrellerLambek07,
 author       = {Anne Preller and Joachim Lambek},
 year         = {2007},
 title        = {Free Compact 2-Categories},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {17},
 number       = {2},
 pages        = {309--340},
 doi          = {10.1017/S0960129506005901},
)
@article(PrellerSadrzadeh11,
 author       = {Anne Preller and Mehrnoosh Sadrzadeh},
 year         = {2011},
 title        = {Semantic {{Vector Models}} and {{Functional Models}} for {{Pregroup Grammars}}},
 journal      = {Journal of Logic, Language and Information},
 volume       = {20},
 number       = {4},
 pages        = {419--443},
 doi          = {10.1007/s10849-011-9132-2},
)
@article(SadrzadehEtAl13,
 author       = {Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke},
 year         = {2013},
 title        = {The {{Frobenius}} Anatomy of Word Meanings {{I}}: Subject and Object Relative Pronouns},
 journal      = {Journal of Logic and Computation},
 volume       = {23},
 pages        = {1293--1317},
 doi          = {10.1093/logcom/ext044},
)
@article(SadrzadehEtAl18,
 author       = {Mehrnoosh Sadrzadeh and Dimitri Kartsaklis and Balk\i{}r, Esma},
 year         = {2018},
 title        = {Sentence Entailment in Compositional Distributional Semantics},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {82},
 number       = {4},
 pages        = {189--218},
 doi          = {10.1007/s10472-017-9570-x},
)
@article(selinger2010a,
 author       = {Peter Selinger},
 year         = {2009},
 title        = {A {{Survey}} of {{Graphical Languages}} for {{Monoidal Categories}}},
 journal      = {arXiv:0908.3347},
 doi          = {10.1007/978-3-642-12821-9_4},
)
@inproceedings(StefanoniEtAl18,
 author       = {Giorgio Stefanoni and Boris Motik and Egor~V. Kostylev},
 year         = {2018},
 title        = {Estimating the {{Cardinality}} of {{Conjunctive Queries}} over {{RDF Data Using Graph Summarisation}}},
 booktitle    = {Proceedings of the 2018 {{World Wide Web Conference}} on {{World Wide Web}}, {{WWW}} 2018, {{Lyon}}, {{France}}, {{April}} 23-27, 2018},
 pages        = {1043--1052},
 doi          = {10.1145/3178876.3186003},
)
@phdthesis(Thomazo13,
 author       = {Micha{\"e}l Thomazo},
 year         = {2013},
 title        = {Conjunctive {{Query Answering Under Existential Rules}} - {{Decidability}}, {{Complexity}}, and {{Algorithms}}},
 url          = {https://tel.archives-ouvertes.fr/tel-00925722},
)
@article(ZengCoecke16,
 author       = {William Zeng and Bob Coecke},
 year         = {2016},
 title        = {Quantum {{Algorithms}} for {{Compositional Natural Language Processing}}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {221},
 pages        = {67--75},
 doi          = {10.4204/EPTCS.221.8},
)